document.writeln(" $\"\"$

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