document.write("     1256");