function changeLocation()
	{
		location.href = document.selection.location.value
	}