Some numbers for Harbaugh's contract