Add 9, then divide by 3.