function js_956390768992877() { document.write ('printable version'); } function js_956390768992877() { document.write ('printable version'); }