document.writeln(" 1442 ");