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