document.write("4842 ");