function checkbox(val)
{
    for(var i=0;i<document.forms['formulier'].elements.length;i++) {
        if(document.forms['formulier'].elements[i].type=='checkbox')
        { document.forms['formulier'].elements[i].checked=val; }
    }
}
function insert_smiley(text)
{
  document.form.text.value += text+' ';
  document.form.text.focus();
}