// postmen javascript library

function neuesFenster (URI) {

	fensterl=window.open (URI, "new","width=750, height=636, left=0, top=0");
	fensterl.focus();
	fensterl.resizeTo(750,636);
}

function neuesFenster2 (URI) {
	fensterl=window.open (URI, "new","width=390, height=338, left=0, top=0");
	fensterl.focus();
	fensterl.resizeTo(390,338);
}

function freiesFenster (URI,b,h) {
	zeug="left=0, top=0";
	fensterl=window.open (URI, "new", zeug);
	fensterl.focus();
	fensterl.resizeTo((b+30),(h+60));
}

function idaresaW (URI) {
	idaresa=window.open (URI);
	idaresa.focus();
}

function changeImages() {
	d = document;
	if (d.images) {
		var img;
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			img = null;
			if (d.layers) {img = findElement(changeImages.arguments[i],0);}
			else {img = d.images[changeImages.arguments[i]];}
			if (img) {img.src = changeImages.arguments[i+1];}
		}
	}
}

function newImage(arg) {
	if (document.images) {
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}