document.writeln("6742");