( 13 , 42 8 .)