document.write (" 31139 ");