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