document.writeln("7242")