document.write (" 12238 ");