Thus, Cry1 knockout or Cry2 knockout mice are good models for studying the underlying mechanisms of circadian sleep disorders in humans. This evidence concerns the gene CRY1 and sleep disorder.