document.write('94142')