( O. 7231 ) ( 6580 .)