function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

var iemac = false;
var isWin = (navigator.appVersion.indexOf("Win") != -1) ? true : false;
if (isWin)
{
	if (document.all || document.getElementById)
	document.write("<link rel='stylesheet' type='text/css' href='/styles/styles.css'>")
	else
	document.write("<link rel='stylesheet' type='text/css' href='/styles/styles_nc.css'>")
}
else
{
	if (document.all || document.getElementById)
	{
	document.write("<link rel='stylesheet' type='text/css' href='/styles/styles_ie_mac.css'>");
	iemac = true;
	}
	else
	document.write("<link rel='stylesheet' type='text/css' href='/styles/styles_nc_mac.css'>")
}


function fenster(datei)
{
posx=10;
posy=0;
var string="width=670,height=500,toolbar=0,locationbar=0,status=0,menubar=0,scrollbars=yes,screenX="+posx+",screenY="+posy+",left="+posx+",top="+posy+",resizable=yes";
// win=window.open(datei+".html",datei,string);
win=window.open(datei,"adelphi_popup",string);
}

/************bilder unten************/

var pict = new Array();
var x = new Array();
var y = new Array();
var pictnumber = 8;//anzahl der bilder

function randomize(j)
{
x[j] = Math.floor(Math.random()*(pictnumber-1));

if (j > 2)
	if (x[j] == x[j-2])
	randomize(j)

if (j > 1)
	if (x[j] == x[j-1])
	randomize(j)
	
y[j] = Math.round(Math.random());

}

function make_pictures()
{

for (i = 1; i<4; i++)
	{
	randomize(i);
	var xstr = x[i].toString();
	var ystr = y[i].toString();
	var number = xstr + ystr;
	pict[i] = number;
	}
//alert(pict[1]+", "+pict[2]+", "+pict[3]);
document.write("          <td width='33%'><img src='/picts/pict_"+pict[1]+".gif'></td>\n");
document.write("          <td width='33%'><img src='/picts/pict_"+pict[2]+".gif'></td>\n");
document.write("          <td width='33%'><img src='/picts/pict_"+pict[3]+".gif'></td>\n");

}
