document.write("124 ");document.write("147 ");document.write("281 ");document.write("15 ");