What size is a 7 mm crochet hook?

You can use another size that gives you the gauge you want.