document.write ("133942");