document.write("     6234");