dois + 7 =