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