document.writeln(" 6042 ");