Texas Utilities Company to TXU Corp.  Short name change will made on 02/02/01.