function limpiar_caja(e){
	
	var e;
	document.getElementById(e).value = '';

}

function redireccion(urldestino){
	setTimeout("location.href='"+urldestino+"'",3000);
}

function encima(){
	document.getElementById('botonera_inferior').style.display ="block";
}

function borrado(){
	 document.getElementById('botonera_inferior').style.display ="none";
}
function pulsado(){
	 document.getElementById('botonera_inferior').style.display ="block";
}