document.writeln(" 1012 ");