// JavaScript Document

function ShowHide(show,hide1,hide2){

	document.getElementById("menuint_"+show).style.display="block";
	document.getElementById("menuint_"+hide1).style.display="none";
	document.getElementById("menuint_"+hide2).style.display="none";

}

function hideAll(str){
	var a = str.split(";")
	var x;
	for (i=0;i<=a.length-1;i++){
		document.getElementById("menuint_"+a[i]).style.display="none";
	}
}