Two vertices of a right triangle have the coordinates (-2, 5) and (9, 5). What is the length of the side formed by these vertices?