document.write (" 10223 ");