function clearInput(thisId, valDefault) {
		if (thisId.value == valDefault) {thisId.value=''};
}

function fillInput(thisId, valDefault) {
		if (thisId.value == '') {thisId.value=valDefault};
}

function setContainerSize(truc, classe) {
	var navroot = document.getElementById(truc);
	if ( navroot ) {
		var lis = navroot.getElementsByTagName("div");
		/* XXX : y a-t-il un moyen plus simple de ne détecter que les divs de rang 1 ?
		 *       ou, détecter selon une classe ? */
		var ok = 0; var nok = 0;
		for ( i = 0; i < lis.length; i++ ) {
			if ( lis[i].parentNode != navroot )
				nok++;
			else 
				if (lis[i].className == classe) ok++;
		}
		navroot.style.width = ((ok * 170) + ((ok-1) * 15)) + 'px';
	}
}