document.write (" 31701 ");