function printerfriendly() { document.write (" $\"\"$ Printable version"); }