PRKAA1 and colitis: Since metformin has previously been demonstrated to active AMPK and is considered as a safe drug in clinical application, we use metformin to further study the role of AMPK in colitis.