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