function toggle_box(box) {
	var domelement = document.getElementById('boxnr-'+box);	
	if (domelement.style.display == '') {
		domelement.style.display = 'none';	
	} else {
		domelement.style.display = '';
	}
}

function MouseOverText(newtext, classid){
	if (newtext == '') {
		newtext = '...';
	} else {
		newtext='&nbsp;<strong>'+newtext+'</strong>';
	}
	document.getElementById(classid).innerHTML=newtext;
}