// url_link():
// verlinkt auf die übergebene URL;

function url_link(url){
	location = url;
}