document.writeln(" 1242 ");