<!-- 
// gib die filesize beim download zurück
function size(filesize) {
 var size=filesize;
 var round_size_k = Math.round((size*10)/1024) / 10;
 var round_size;
 if (round_size_k < 1024) {
  round_size = round_size_k+'&nbsp;KByte';
  }
 else {
  round_size = Math.round((round_size_k*10)/1024) / 10;
  round_size = round_size+'&nbsp;MByte';
 }
 var down_time_s = Math.round(round_size_k / 5.5);
 var down_time;
 if (down_time_s < 60) {
  down_time = down_time_s+' sec';
 }
 else {
  down_time = Math.round((down_time_s*10)/60) / 10;
  down_time = down_time+' min';
 }
 document.write(round_size + ' | ' + down_time + ' / 56k' );
 return true;
}

// seite empfehlen
function sendpage(lng)
{
var str = location.href;

// session raus
var kurz = str.replace(/\/S[^\/]+/,'')
mail_str = "mailto:?subject= Brevini Fluid Power GmbH: " + document.title;
 if (lng =='en') {
  mail_str += "&body=Look at this site! It calls: " + document.title;
  mail_str += ". Here is the Adresse: " + kurz; 
 }
 else {
 mail_str += "&body=Schau Dir diese Seite mal an! Sie heißt: " + document.title;
 mail_str += ". Hier ist die Adresse: " + kurz; 
 }
location.href = mail_str;
}

// bookmark setzen
function addbookmark() {
 bookmarkurl=self.location.href;
 bookmarktitle=document.title;
 if (document.all) {
  window.external.AddFavorite(bookmarkurl,bookmarktitle)
 } else alert("STRG + D drücken"); 
}

// seite drucken
function printpage(xy) {
 open(xy,'druckversion','width=610,height=510,scrollbars=yes,menubar=yes,resizeable=yes');
}

// info
function info(name,breit,hoch) 
{
window.open(name+'.htm','popwin','toolbar=no,status=no,directories=no,location=no,menubar=no,scrollbars=no,resizeable=no,width='+breit+',height='+hoch);
}

// link
function aktiv() { event.srcElement.className='active'; }
function inaktiv() { event.srcElement.className='inactive'; }

// datum aktualisiert
function Tableau(n) { 
this.length=n; 
return this;
} 
function DateModif() { 
NameMonat=new Tableau(12) 
NameMonat[1]="Januar" 
NameMonat[2]="Februar" 
NameMonat[3]="März" 
NameMonat[4]="April" 
NameMonat[5]="Mai" 
NameMonat[6]="Juni" 
NameMonat[7]="Juli" 
NameMonat[8]="August"
NameMonat[9]="September" 
NameMonat[10]="Oktober" 
NameMonat[11]="November" 
NameMonat[12]="Dezember"
Date=new Date(document.lastModified) 
var monat=NameMonat[Date.getMonth()+1] 
var jahr=Date.getYear()
return Date.getDate()+". "+monat+" "+jahr
}