<!-- cambiar_idioma.js

//Codigo para imprimir las diferentes partes de una pagina.

function imprimir() {
  if (window.print)
    window.print();
}

function imprimirContenido() {
  if (window.print)
    top.frames['contenido'].print();
}

function imprimirMenu() {
  if (window.print)
    top.frames['menu'].print();
}

function imprimirServicio() {
  if (window.print)
    top.frames['servicio'].print();
}

// -->