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