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