document.write (" 23139 ");