function imprimir_documento(){
window.print();
}


function abrir_pagina(theURL,winName,features) {
  window.open(theURL,winName,features);
}