document.writeln(" 31402 ");