if(!document.getElementById){
	if(document.all)
		document.getElementById=function(){
			if(typeof document.all[arguments[0]]!="undefined")
				return document.all[arguments[0]]
			else
				return null
		}
	else if(document.layers)
		document.getElementById=function(){
			if(typeof document[arguments[0]]!="undefined")
				return document[arguments[0]]
			else
				return null
		}
}


function is_email(email){
	var regExpEmail = new RegExp(/^[a-zA-Z0-9\_\-\.]+@[a-zA-Z0-9\-\.]+\.[a-zA-Z]{2,}$/);
	return regExpEmail.test(email);
}


String.prototype.trim = function(){
  return this.replace(/^\s*|\s*$/g,"");
}