function bildwechsel(bildnr,bildobjekt)
{
  if(window.document.images[bildnr] && bildobjekt)
	  window.document.images[bildnr].src = bildobjekt.src;
}
function jump(url)
{
	window.location.href = url; 
}