document.write("4241 ");