document.write (" 14238 ");