717 ; 42 , 128,