// url_link()
	// sends the user to the in url defined url if it is not empty.

	function url_link(url){
		if(url != null && url != ''){
			window.location = url;
		}
	}