( 12 , 522 .)