( 12 , 488 .)