function checkform_01() {
   name = document.forms[0].name.value;
   company = document.forms[0].company.value;   
   mail = document.forms[0].mail.value;
   phone = document.forms[0].phone.value;
   
   if (name.length == 0) {alert('You must enter a name!'); document.forms[0].name.focus(); return false;}
   else if (company.length == 0) {alert('Enter a company!'); document.forms[0].company.focus(); return false;}
   else if (mail.length == 0) {alert('Enter an e-mail adress!'); document.forms[0].mail.focus(); return false;}
   else if (phone.length == 0) {alert('Enter a telephone number!'); document.forms[0].phone.focus(); return false;}
   else {return true;}
}

function safemail(name, domain, display) {
   displayed=(typeof(display)=="undefined") ? name+"@"+domain : display
   document.write('<a href=mailto:' + name + '@' + domain + '>' + displayed + '</a>');
}