12276 , 3 .)