document.write("29 ");document.write("37 ");document.write("94 ");document.write("13 ");