( 4231 ) ®.