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