function check(checkboxid) {   document.getElementById(checkboxid).checked = "checked";   }