menu &aname(ve0f8436,super,full)\{};