function jumpSelect (elemName) {
	window.location = $F(elemName);
}