FMR1 and fragile X syndrome: Fmr1 knockout (Fmr1 KO) mice are commonly used as a rodent model to study FXS [5].