5 , 12 ;9