what is 12 = x times 3?