function toggleClassName(element, className) {
	var classPattern = new RegExp('(^|\\s)' + className + '(\\s|$)');
	if ((typeof element == 'string') && document.getElementById){
		element = document.getElementById(element);}
	if (element) {
		if (classPattern.test(element.className)) {
			element.className = element.className.replace(classPattern, ' ');}
		else  {
			element.className += ' ' + className;}
		}
	}

function pausecomp(millis)
{
var date = new Date();
var curDate = null;

do { curDate = new Date(); }
while(curDate-date < millis);
}

function switchMenu(obj) {
var el = document.getElementById(obj);
if ( el.style.display != "none" ) {
el.style.display = 'none';
}
else {
el.style.display = '';
}
}

function hide(obj){
document.getElementById(obj).style.display='none';
}

function button_disable(control, msg) {
		control.value = msg;
		control.disabled = true;
		}
		
function emailCheck (emailStr) {

var emailPat=/^(.+)@(.+)$/
var specialChars="\\(\\)<>@,;:\\\\\\\"\\.\\[\\]"
var validChars="\[^\\s" + specialChars + "\]"
var quotedUser="(\"[^\"]*\")"
var ipDomainPat=/^\[(\d{1,3})\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})\]$/
var atom=validChars + '+'
var word="(" + atom + "|" + quotedUser + ")"
var userPat=new RegExp("^" + word + "(\\." + word + ")*$")
var domainPat=new RegExp("^" + atom + "(\\." + atom +")*$")
var matchArray=emailStr.match(emailPat)
if (matchArray==null) {
	alert("Your email address seems incorrect.")
	return false
}
var user=matchArray[1]
var domain=matchArray[2]
if (user.match(userPat)==null) {
    alert("Your email address seems incorrect.")
    return false
}
var IPArray=domain.match(ipDomainPat)
if (IPArray!=null) {
    // this is an IP address
	  for (var i=1;i<=4;i++) {
	    if (IPArray[i]>255) {
	        alert("Your email address seems incorrect.")
		return false
	    }
    }
    return true
}
// Domain is symbolic name
var domainArray=domain.match(domainPat)
if (domainArray==null) {
	alert("Your email address seems incorrect.")
    return false
}
var atomPat=new RegExp(atom,"g")
var domArr=domain.match(atomPat)
var len=domArr.length
if (domArr[domArr.length-1].length<2 || 
    domArr[domArr.length-1].length>4 ) {
   // the address must end in a two letter or four letter word.
   alert("Your email address seems incorrect.")
   return false
}
// Make sure there's a host name preceding the domain.
if (len<2) {
   var errStr="Your email address seems incorrect."
   alert(errStr)
   return false
}
// If we've gotten this far, everything's valid!
return true;
}