function htmlname() {
	var htmlname2 = '';
	var str=""+document.location;	//make string containing URL
	var i=str.length;
	while (i>0 && str.charAt(i)!="/") i--;	//count back from end
						//til first slash
	htmlname2=str.substring(i+1,str.length); //name is part to the
						//right of slash position
	if (htmlname2=="") htmlname2="index.html";//if URL points to dir
						//name is default name
	htmlname2 = htmlname2.substring(0, htmlname2.indexOf('.'));
	document.getElementById(htmlname2).src = 'images/btnsHome/nav_'+htmlname2+'Over.gif';
}