document.writeln(" 742");