document.write (" 10139 ");