/*
 * Removes white spaces at both ends of a string.
 */
String.prototype.trim = function(s) {
	return this.replace(/\s+$/gi, "").replace(/^\s*/gi, "");
}

/*
 * Trims all text elements in a form.
 */
function trimFormValues(f) {
	$A(f.elements).each(function(el) {
		if (el.type != null && (el.type == "text" || el.type == "textarea"))
			el.value = el.value.trim();
	});
}

function createEmailLink(a, b) {
	document.write("<a href=\"" + "mai" + "lto:" + a + "\">"+ b +"</a>");
}