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

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

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

function miranos() { 
document.location="somos.jsp?html=mira";
}

function descargas() { 
document.location="somos.jsp?html=desc";
}

function canal() { 
document.location="somos.jsp?html=canal";
}

function contacta() { 
document.location="somos.jsp?html=contacta";
}