function jump_a(uri) {
	if(uri.value.length > 0) {
		window.open((uri.value.charAt(0) == '/' || uri.value.substr(0,4) == 'http' ? '' : '/') + uri.value);
	}
}