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