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