HCC bits > 12.25 Hughes ATM33