a/7 (#b25)