document.writeln(" 1001 ");