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