function highlight( menuPoint )
{
	menuPoint.style.background = 'url(img/main/menuBgSel.gif)';
}

function unhighlight( menuPoint )
{
	menuPoint.style.background = '';
}

function show( id )
{
	var element = document.getElementById( id );
	
	element.style.display = 'block';
}

function hide( id )
{
	var element = document.getElementById( id );
	
	element.style.display = 'none';
}

function openSitemap( href )
{
	window.open( href, 'sitemap', 'width=300, height=500, scrollbars=no' );
	return false;
}

function setProductInForm( produkt )
{
  var tag = document.getElementById('produktInForm');
  tag.innerHTML = produkt;
  
  document.getElementById('FBSUBJECT').value = 'Anfrage für Handschweißextruder ' + produkt;
}

function checkSearchForm( el, blankName )
{
  if ( el.value == blankName )
  {
    el.value = '';
  }
}