function menu_banner()
{
}