KCNK3 and Stroke: We first verified deletion of TASK channels by Quantitative real-time PCR (qRT-PCR) in hippocampus and cortex, areas that are reported to be damaged in the tMCAO animal stroke model29.