document.writeln("6012");