document.write ("88142");