6+7=13