document.writeln(" 4842 ");