( 4012 ) r(