// Zufall

function random()
{
  date        = new Date();
  var seconds = date.getSeconds();
  var someNum = seconds % 5;

  return someNum;
}

function setgewerk(gewerk, ident) {
	document.getElementById("suche_query").value = gewerk;
	if(ident == 'suche_list') {
		document.getElementById("suche_frei").value = gewerk;
		}
	}
	
function resetgewerk(gewerk, ident) {
	document.getElementById("suche_query").value = '';
	document.getElementById("suche_list").selectedIndex = 0;
	document.getElementById("suche_frei").value = '';
	}