var emailFilter  = /^([a-zA-Z0-9_\.\-])+\@(([a-zA-Z0-9_\.\-])+\.)+([a-zA-Z0-9])+$/;
var telFilter  = /^([0-9 ]*)$/; 
function runSubmit (form)  {

    var msg = "";  // an alert if anything is amiss with the form
    if (form.Firstname.value.length<3)
        msg += "Please enter your name (at least 3 characters)\n";
//	if (!(form.Tel.value.length>10) && !(form.Mobile.value.length>10))
//			msg += "Please enter your telephone number (at least 10 digits)\n";
//    if (!telFilter.test(form.Tel.value))
//        msg += "Please only numbers in your phone number\n";
    if (!emailFilter.test(form.Email.value))
        msg += "Your email address is invalid; it should take the form user@subdomain.domain, e.g. somebody@thomascook.com\n";

    if (msg.length>0) {
        alert("Please complete the following:\n\n" + msg);
        return;
    }

	form.submit();
}