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