document.write(' 71014 ');