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