function rpCheckboxHandler(box) {
 obj = window.document.getElementsByName("kollektionen")[0];

 for(i = 0; i < obj.options.length; i++)
  obj.options[i].selected = box.checked;
}

function listBoxHandler(box) {
 window.document.getElementsByName("rp")[0].checked = false;
 window.document.getElementsByName("rf")[0].checked = false;
}