Is that the % of the total marketcap? Have never paid attention to it before.