function js_159265929155370() { document.write ("printable version"); } function js_159265929155370() { document.write ("printable version"); }