document.write(" $\"\"$ "); document.write("
"); document.write("
");