How many more dogs are there than mice?