function loadrest () {
    var list = document.getElementsByTagName ('input');
    if (! list)
        return;
    for (var i = 0; i < list.length; ++i)
        if (list[i].name == 'radios' && ! list[i].onclick)
            list[i].onclick = radioClick;
}