function overSlash(num){
	var browser=navigator.appName;
	var o = document.getElementById("smo_slash_" + num);
	if(browser == "Microsoft Internet Explorer") o.setAttribute("className","smo_aslash");
	else o.setAttribute("class", "smo_aslash"); 
}

function outSlash(num){
	var browser=navigator.appName;
	var o = document.getElementById("smo_slash_" + num);
	if(browser == "Microsoft Internet Explorer") o.setAttribute("className","smo_slash");
	else o.setAttribute("class", "smo_slash"); 
}

function overSSlash(num){
	var browser=navigator.appName;
	var o = document.getElementById("smo_slash_" + num);
	if(browser == "Microsoft Internet Explorer") o.setAttribute("className","smo_aspecialslash");
	else o.setAttribute("class", "smo_aspecialslash"); 
}

function outSSlash(num){
	var browser=navigator.appName;
	var o = document.getElementById("smo_slash_" + num);
	if(browser == "Microsoft Internet Explorer") o.setAttribute("className","smo_specialslash");
	else o.setAttribute("class", "smo_specialslash"); 
}