document.writeln("6042");