document.writeln("6242");