function getRadioButtonSelectedValue(ctrl)
{
    for(i=0;i<ctrl.length;i++)
        if(ctrl[i].checked) return ctrl[i].value;
}

function enviar_datos(leccion)
{
var respuesta1=getRadioButtonSelectedValue(col1.document.trivia.radiobutton1);
var respuesta2=getRadioButtonSelectedValue(col1.document.trivia.radiobutton2);
var respuesta3=getRadioButtonSelectedValue(col1.document.trivia.radiobutton3);
var respuesta4=getRadioButtonSelectedValue(col1.document.trivia.radiobutton4);

window.location = 'validar.php?leccion='+leccion+'&res1='+respuesta1+'&res2='+respuesta2+'&res3='+respuesta3+'&res4='+respuesta4;
}