document.writeln("

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