document.writeln("7242");