document.write (" 12239 ");