7(AŠ~a)
Also:
7(aš@v), imin
3
.