document.write("8 ");document.write("48 ");document.write("281 ");document.write("15 ");