function inicio() { 
document.location="/index.jsp";
}

function programacion() { 
document.location="/programacion.jsp";
}

function miranos() { 
document.location="/xtrm.jsp?seccion=mira";
}

function descargas() { 
document.location="/xtrm.jsp?seccion=descargas";
}

function canal() { 
document.location="/xtrm.jsp?seccion=canal";
}

function contacta() { 
document.location="/xtrm.jsp?seccion=contacta";
}

function ondemand() { 
document.location="/ondemand.jsp";
}

function videos() { 
document.location="/videos.jsp";
}