a/7 (#b12)