Advice on AC Belt?

I replaced my belts yesterday and I was going to buy another set to have on hand. The PS and Generator sets are easy. But I have an aftermarket AC kit installed.

The AC belt that came in the kit is marked "15440", no manufacturer printed on it. The instructions state included was a belt "7440". Here is an old picture of that belt before I installed it. Notice it is not a grooved belt.



When I try googling either 7440, or 15440, all the come up are cog belts.

Is it ok to replace a non-cogged belt with a cogged one?

Belts with coggs are designed to flex a little easier than non-cogged, so it doesn't really make a difference either way.
7440 and 15440 are basically identical sizes from what I see, so either should work.

Belt sizing is confusing but apparently the two belts are 15/32" and 7/16" top width.