function element(id) {
	return document.getElementById(id);
}
function optionsSelectAll(select) {
	for (var i=0;i<select.options.length;i++)
		select.options[i].selected=true;
}
String.prototype.trim=function() {
  return this.replace(/^\s*(\b.*\b|)\s*$/,"$1");
}