Data.Map is total