function jumptocity(id)
{
	var tag = document.getElementById(id);
	if (tag) {
		window.location = "#" + tag.value;
	}
}