document.writeln(" 6143 ");