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

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