<!--
function picchange( field, b )
{                      
  if( b == 1 ) document.images[field].src = "images/ok.gif";
  if( b == 0 ) document.images[field].src = "images/no.gif";
}

function openNewWindow(URLtoOpen,windowName, windowFeatures)
{
	newWindow=window.open(URLtoOpen, windowName, windowFeatures);
	newWindow.focus();
}

//Wechselt Bilder im jpg-Format aus. Das 1. Bild muss mit '.jpg', das 2. Bild mit '_.jpg' enden.
function changeJpg(obj_Img)
{
  var imgSrc = obj_Img.src;
  var pattern = /._\.jpg/;
  
  if(pattern.test(imgSrc))
  { obj_Img.src = obj_Img.src.replace(/_\.jpg/, '.jpg'); }
  else
  { obj_Img.src = obj_Img.src.replace(/\.jpg/, '_.jpg'); }
}

//-->