( 5231 ) ®.