document.writeln(" 8040 ");