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