function set_selected(opcion)
{
   document.getElementById(opcion).className = "active";
}