Prevalence of atrial fibrillation and the HATCH score