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