/**
* Anhaengen von Url Parametern an eine URL
*/
function append_url_param(url, param) {
	if(param != '') {
		var pos = url.indexOf('?');
		if(pos == -1)
		url += '?';
		else
		url += '&';
		url += param;
	}
	return url;
}