four times three is 12