Module "Animate" Animate
MiniPixmap "mini-as.xpm"
