document.write(' 4842 ');