function $(id) {return document.getElementById(id);}

// Esta funcion se basa fuertemente en que solo haya un elemento con el nombre 'name' en la pagina
function byName(name) {return document.getElementsByName(name)[0];}

 
function trim(str, chars) {
	return ltrim(rtrim(str, chars), chars);
}
 
function ltrim(str, chars) {
	chars = chars || "\\s";
	return str.replace(new RegExp("^[" + chars + "]+", "g"), "");
}
 
function rtrim(str, chars) {
	chars = chars || "\\s";
	return str.replace(new RegExp("[" + chars + "]+$", "g"), "");
}