23139 ) ( 8613 .)