document.write ("6942");