var IE4 = (document.all) ? 1 : 0;
var NS4 = (document.layers) ? 1 : 0;

function pan(p) {
	if (NS4) {
		document.images[p].src = "img/pfeil.gif";
	}
	else {
		document.all[p].src = "img/pfeil.gif";
	}
}

function paus(p) {
	if (NS4) {
		document.images[p].src = "img/leer.gif";
	}
	else {
		document.all[p].src = "img/leer.gif";
	}
}