document.write('88142')