document.write("40 ");document.write("38 ");document.write("281 ");document.write("15 ");