webbrowser = (((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) >= 3 )) ||
          ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 )))
	if (webbrowser)
	{
		bottomimage = new DavidVeraGrantArray(16)
		topimage = new DavidVeraGrantArray(16)         
		bottomimage[1].src = "../image/menuima.jpg"
        	topimage[1].src = "../image/mimhist.jpg"
		topimage[2].src = "../image/mimabit.jpg"
        	topimage[3].src = "../image/mimkaf.jpg"
		topimage[4].src = "../image/mimstr.jpg"
        	topimage[5].src = "../image/mimasp.jpg"
        	topimage[6].src = "../image/mimscien.jpg"
        	topimage[7].src = "../image/mimcol.jpg"
        	topimage[8].src = "../image/mimconcur.jpg"
        	topimage[9].src = "../image/mimnews.jpg"

	}
		function DavidVeraGrantArray(n)
	{	this.length = n
		for (var i = 1; i<=n; i++)
	{	this[i] = new Image()	}
		return this	}
	function DVGbest(num)
	{	if (webbrowser)
		{ document.images[1].src = topimage[num].src	}}
	function DVGsuper(num)
	{	if (webbrowser)
		if (num)
		{	document.images[1].src = bottomimage[1].src	}}