function R() {
    var r = document.f2.domain_select;
    var c = r.length;
    
    
    for (i=0; i<c; i++) {
        if (r[i].checked == true) {
	    return true;
	} else { ok = 'bad'; }
    }
    
    if (ok == 'bad') { alert('BAD'); return false; }
}