*************************************************************************
   51250
   We would search for hot gas in distant clusters of galaxies around
   radio galaxies, 5C12_75 and 5C12_235.
 *************************************************************************