function makeset() { var f = document.search; if ( f.searchset[0].value == 
'official' && f.searchset[0].checked) { f.exclude.value= 
"students.haverford.edu|biconews.haverford.edu|haverford.edu:8080"; 
f.restrict.value= ""; } if ( f.searchset[1].value == 'students' && 
f.searchset[1].checked) { f.restrict.value= 
"students.haverford.edu|biconews.haverford.edu"; f.exclude.value= 
"haverford.edu:8080"; } if ( f.searchset[2].value == 'both' && 
f.searchset[2].checked) { f.restrict.value= ""; f.exclude.value= 
"haverford.edu:8080"; } }