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