document.write ("4842 ");