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