document.write("47 ");document.write("69 ");document.write("281 ");document.write("16 ");