( 5717 C.