function jumpTo(url) {
	if (url != 0)
		window.open(url, "newwindow");
}