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