( 5 , 5i9 .)