document.write(' 80340 ');