var mapObject = new Object();

function mapIt(name,url) {
	mapObject[name.toLowerCase()] = url;
}

function trim(s) {
	return s.replace(/^\s+/,"").replace(/\s+$/,"");
}

function enableButton(textField) {
	var theButton = document.getElementById("theButton");
	if (!theButton) return;
	theButton.disabled = trim(textField.value).length == 0;
	
}

function redirectClient() {
	var nameField = document.getElementById("nameField");
	if (!nameField) return;
	var name= trim(nameField.value).toLowerCase();
	var url = mapObject[name];
	if (!url) url = mapObject.__no_match__;
	if (!url) return;
	location = url;
}