document.writeln(" 6034 ");