( 12 , 524 .)