how much is a quarter of that?