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