function jva_submit_functie() {
var frm_form = document.frm_application;
var domain = frm_form.domain.value;

  if (domain!='') {
    frm_form.submit(); }
  else {
    alert('Please enter a domain name!');
  }
}

function disableselect(e){
return false
}

function reEnable(){
return true
}

//if IE4+
document.onselectstart=new Function ("return false")

//if NS6
if (window.sidebar){
document.onmousedown=disableselect
document.onclick=reEnable
}