document.writeln(" 4202 ");