If there are 402 Texas Ranger fans and 712 Yankee fans at a baseball game, how many fans are there altogether?