function menu_banner()
{


/**********

	document.write('  ');

********/


}