function hl(row)
{
	Element.addClassName(row,'hl');
}
function ll(row)
{
	Element.removeClassName(row,'hl');
}
function go(id)
{
	document.location.href='/de/objektdetails/IDdom=' + parseInt(id);
}
function goID(id)
{
	document.location.href='/de/objektdetails/IDdom=' + parseInt(id);
}
function goGemeinde(id)
{
	document.location.href='/de/freie_wohnungen/IDgemeinde=' + parseInt(id);
}