( 4883 75 , a proc .)