RED HAT/SCARF