document.write (" 32139 ");