document.write (" 20701 ");