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