document.write('94112 ');