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