document.writeln("6012")