function opensvg(file, width, height)
{

	SvgWindow=window.open(file, "newwin",config="width="+(width+4)+",height="+(height+4)+",toolbar=0,scrollbars=0,menubar=0,statusbar=0");
	SvgWindow.document.close();
	SvgWindow.focus();
}

function ShowMc(McNum) {
	document.getElementById('mc0').style.display="none";
	document.getElementById('mc1').style.display="none";
	document.getElementById('mc2').style.display="none";
	document.getElementById('mc3').style.display="none";

	document.getElementById(McNum).style.display="";
}