// JavaScript Document
function swapImg2(id, file, width, height, margintop, marginleft)
{
image = document.getElementById(id);
if(image != null) {
image.src = file;
image.width = width;
image.height = height;
image.style.marginTop = margintop + 'px';
image.style.marginLeft = marginleft + 'px';
}
}
function popup(datei, groesse_x, groesse_y) {
if ( window.Fenster ) { Fenster.close(); }
Fenster = window.open('', null, 'top=200,left=300,toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=no, width=' + groesse_x + ', height=' + groesse_y);
Fenster.document.write('vergrößertes Bild
');
Fenster.focus();
}