AVR cookie name format

Hi guys,

I was checking the documentation about the name format for the ASM cookies and it should be something like f5avrbbbbbbbbbbbbbbb (https://support.f5.com/csp/article/K14815), but checking on my site's cookies I see the name f5avraaaaaaaaaaaaaaaa.

Is this normal?