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