function random_banner(btype) /* generates a random banner! */
{
	if (btype == "menu") document.write("<img name='randimg' src='http://bigsurdeli.com/images/banner_menu_" + Math.ceil(3*Math.random()) + ".jpg' alt='47520 Highway One, Big Sur, California' />");
	else document.write("<img name='randimg' src='http://bigsurdeli.com/images/banner_" + Math.ceil(5*Math.random()) + ".jpg' alt='47520 Highway One, Big Sur, California' />");
}