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