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