twelve + 7 =