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