3 pounds potatoes, peeled and cut into cubes
1 teaspoon salt
¼ cup butter or margarine
3 cloves garlic, minced
¾ cup milk
3 tablespoons chopped fresh parsley
2 teaspoon chopped fresh thyme leaves
1 teaspoon chopped fresh rosemary leaves
Salt and pepper to taste