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