// js_link():
// leitet zu einer URL um.

function js_link(url){
	document.location = url;
}