Rotating header banners

[Arae]

What type of Rotating banner used in this forums?

http://www.anime-forums.com/

I'm not looking on how to create advertisement banners.
I just want my forums to change header banners every refresh/reload just like the one in the link. :)

[KevinL]

probably https://vborg.vbsupport.ru/showthread.php?t=188328&highlight=banners