7192 ) ( 6231 .)