By the pigeonhole principle, if 40 coins are distributed among 7 boxes, then there must be some box with at least ___ coins.