( 4247 , 7 r .)