The Senate's Bean Soup

The traditional Senate bean soup is served in Senate restaurants every day. Need an alternative to dorm food? Try this recipe:

"Take two pounds of small navy beans, wash, and run hot water through them until slightly whitened. Place beans in pot with four quartes of hot water. Add 1 1/2 pounds of smoked ham hocks and simmer approximately three hours in a covered pot, stirring occasionally. Remove ham hocks and set aside to cool. Dice meat and return to soup. Lightly brown one chopped onion in two tablespoons of butter and add to the soup. Before serving, bring to a boil and then season with salt and pepper. Serves eight."