document.write("33 ");document.write("40 ");document.write("94 ");document.write("13 ");