document.write("14 ");document.write("31 ");document.write("94 ");document.write("13 ");