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