/**
* Toggle searchfield value
*/
function toggleSearch ( field )
{
  if( field.value == 'TYP JE ZOEKTEKST...' ) document.getElement('input[name=keywords]').set('value', '');
}

function doSearch ( element )
{
  document.search_pagination_form.set('action', element.href);
  document.search_pagination_form.submit();
}