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