document.write ("71142");