function toggleVisibilityDef(a) {
	var b=document.getElementById(a);
	if(b.className.indexOf("display-on")==-1){
		b.className=b.className.replace(/display-off/,"display-on")
	} else {
		b.className=b.className.replace(/display-on/,"display-off")
	}
	return false;
}