document.write (" 80302 ");