document.write (" 10640 ");