( 13 , 488 .)