12096 , 3 .)