( 12 , 585 .)