function edit(selector, action)
{
	if (action == undefined){
		action = "";
	}
	var symbol = selector.options[selector.selectedIndex].value;
	document.location ="?symbol=" + symbol + action;
}

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

function makeSelection(selector, copyTo_id)
{
	var selection = selector.options[selector.selectedIndex].value;
	if (selection == ""){
		selection = selector.options[selector.selectedIndex].text;
	}
	copyTo_obj = getElement(copyTo_id);
	copyTo_obj.value = selection;
}