function el(nombreElemento){
 return(document.getElementById(nombreElemento));
}//function

function abrearchivo(url)
{window.open(url);}