( 19 , 488 .)