function unset(a)
{
	if(a.value == "Zoeken...")
	{
		a.value = "";	
	}
}

function set(a)
{
	if(a.value == "")
	{
		a.value = "Zoeken...";	
	}
}

function over(a)
{
	a.setAttribute("class", "item_hover");
}

function out(a)
{
	a.removeAttribute("class");
}

function href(a)
{
	window.location = a;
}