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