thrice a number divided by 12