document.write(' 96712 ');