Sean the leprechaun has filled a pot with 417 gold coins.  His brother added 251 gold coins to the same pot.

How many gold coins are in the pot of gold? ______