document.write (" 4842 ");