: Ripidius quadriceps.