document.write('94012');