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