Combine hot mashed potatoes, margarine , orange juice and salt. Whip in one cup miniature marshmallows. Place in a 1 1/2 qt. Casserole. Bake at 350° for 20 minutes. Top with additional marshmallows. Return to oven until marshmallows are lightly browned.