(HR1, aa ~