document.write (" 18238 ");