document.write('94012')