function estiloOn(which, estilo){
	//alert (estilo);
	if (document.all||document.getElementById){
	which.className= estilo;
	}
}
function estiloOff(which, estilo){
	if (document.all||document.getElementById){
	which.className= estilo;
	}
}