In a suacepan, cook beans in water for 6-8 minutes or until tender. In a skillet, saute onion in butter until tender. Add mushrooms; cook and stir for 1 minute. Drain beans; add the mushroom mixture and pepper