function setAltura(nombrediv,altura){
	  //ponemos el alto que nos indica el parámetro
	  document.getElementsByName(nombrediv)[0].style.height=altura + 'px';
	}