document.write(' 20701 ');