9254 Tx 3 .)