document.write (" 12230 ");