document.write('80542 ');