document.write (" 14139 ");