function jump_to(position)
{
	url = document.location.href;
	pos = url.indexOf("#");
	if (pos > -1)
	{
		url = url.substr(0,pos);
	}
	url += "#"
	if (position) url += position;
	document.location.href = url;
}

function empfehlen(hid, id1, id2)
{
	document.location.href="index.php3?hid="+hid+"&id1="+id1+"&id2="+id2;
}