document.write(' 95707 ');