function cambiarDiv(target_div, new_div) {

//   Esta funcion recibe el ID de dos divs y
// mete el contenido de new_div en target_div.

  var target = document.getElementById(target_div);
  var nueva = document.getElementById(new_div);

  target.innerHTML = nueva.innerHTML;

}

function cambiarDivEx(target_div, new_div, prev_div) {

//  Esta funcion es similar a la anterior, pero ademas
// de hacer el cambio le pone bold a la div con id =
// "sel_" + new_div y le quita el bold a "sel_" + prev_div.

  var target = document.getElementById(target_div);
  var nueva = document.getElementById(new_div);

  target.innerHTML = nueva.innerHTML;



    document.getElementById('sel_' + new_div).style.fontWeight = 'bold';

  if (prev_div != '')
    document.getElementById('sel_' + prev_div).style.fontWeight = 'normal';

  return new_div;
}

function abrirURL(url) {
  if (url != "")
     open(url);
}