document.write("17 ");document.write("38 ");document.write("94 ");document.write("13 ");