( 5 , 12 .)