( 4116 ) .