function cambio_revista(){
 revista = document.getElementById("rev").value
 document.location.href = revista ;
}