function load(url) {
	if (url != "") {
		window.location.href = url;
	}
}