document.writeln("6142");