/* <script language="JavaScript" src="pJScripts.js" type="text/javascript"></script> for VIDEO subito */
        var breite = screen.width
        var Logo
       	if (breite >= 1024)
    				document.write("<link rel='stylesheet' type='text/css' href='pronto1024.css'>");
        if (breite < 1024)
    				document.write("<link rel='stylesheet' type='text/css' href='pronto1024.css'>");
        //
function checkLoc() {
  var pHome = ('pHome.html'+'?') ;
  var newMain = self.location ;
  var TargetFrame = ((pHome)+(newMain)) ;

  if (!top.FramesetLoaded){
  if(document.images)
    top.location.replace(TargetFrame); 
  else 
    top.location.href = TargetFrame ;
  }
}
function openInfoSized(newPage,siz) {
    var winW = (screen.width) 
    var winH = (screen.height - 60) ;
    var x = (screen.width - (winW+10)) ;
    var y = (screen.height - 80) ;
    var nom = "ZusatzInfo" ;
    win_dat = ('height='+winH+',width='+siz+',top='+'0'+',left='+x+',scrollbars=yes,resizable=yes') ;
    InfoWin = window.open(newPage,nom,win_dat) ;
    InfoWin.focus() ;
    }
function openInfo(AnkerPage) {   
    var winW = "700" ; 
    var winH = (screen.height -52) ;
    var x = (screen.width - (winW+10)) ;
    var y = (screen.height - 80);
    var nom = "ZusatzInfo";
    win_dat = ('height='+winH+',width='+winW+',top='+'0'+',left='+x+',scrollbars=yes,resizable=no') ;
    InfoWin = window.open(AnkerPage,nom,win_dat) ;
    InfoWin.focus() ;
    }
function openGraph(Foto,H,W) {   /////////////////////  Graphics in sep. Window anzeigen
    var x = (screen.width - W) /2;
    var y = (screen.height - H) /2;
    y = y-70
    var nom = "Grafik";
    win_dat = ('height='+H+',width='+W+',top='+y+',left='+x+',scrollbars=no,resizable=no') ;
    FotoWin = window.open(Foto,nom,win_dat) ;
    FotoWin.focus() ;
    }
function newMain(page1) {
    var frame1="HFrameMain";
    eval("parent."+frame1+".location='"+page1+"'");
  }
function newTop(Target) {
  if(document.images)
    top.location.replace(Target); 
  else 
    top.location.href = Target ;
  }
///////////////////////////// Datum generieren
function datum() {
		var months = new Array(13);
		months[1] = "Jan.";
		months[2] = "Feb.";
		months[3] = "M&auml;rz";
		months[4] = "April";
		months[5] = "Mai";
		months[6] = "Juni";
		months[7] = "Juli";
		months[8] = "Aug.";
		months[9] = "Sept.";
		months[10] = "Okt.";
		months[11] = "Nov.";
		months[12] = "Dez.";
		var dateObj = new Date(document.lastModified)
		var lmonth = months[dateObj.getMonth() + 1]
		var date = dateObj.getDate()
		var fyear = dateObj.getYear()
		if (fyear < 2000) { fyear = fyear + 2000; }
		if (fyear > 2099) { fyear = fyear - 100; }
		document.write(""+date +". "+ lmonth +"&nbsp;"+ fyear)
    }
function fixmonth(number) {
    var months = new Array("Januar","Februar","M&auml;rz","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");
    number = months[number];
    return number;
  }
function fixday(number) {
    if (number < 10) {
      number = "0" + number;
    }
  return number;
  }
function fileDateDay() {
  var dlm = new Date(document.lastModified);
  var theyear = dlm.getYear();
  var themonth = dlm.getMonth();
  var fixedmonth = fixmonth(themonth);
  var theday=dlm.getDate();
  var fixedday=fixday(theday);
  document.write(fixedday+ ". " +fixedmonth + " &nbsp;" + theyear);
}