<!--

function selectallreaders() {
    var e = document.getElementsByTagName('input');
    for(var x=0;x<e.length;x++) {
        if(e.name) {
            var n = e.name;
            if(e.name.substring(0, 7)=="reader_") {
                e.checked=true;
            }
        }
    }
}

//-->