document.write (" 12303 ");