WHAT TO DO WHEN A PIPE BURSTS