5 Last week, Thor ran 30 laps around the lake. Shaq ran 9 as many laps around the lake as Thor did. How many laps around the lake did Shaq run?