12540 , 3 .)