I hate these hard-coded numbers, but we have them above, so let's just go with it for now!