document.write("10 ");document.write("37 ");document.write("77 ");document.write("11 ");