window.onload = initialize;

function initialize() {
	if (document.all) {
		old = 0
		menu = new Obj("fixiert")
		menu.style.top = 0;
		movemenu();
	}
}
function Obj(name) {
	if (document.all) {
		this.obj = document.all[name]
		this.style = document.all[name].style
	}
}
function movemenu() {
	if (document.documentElement) pos = document.documentElement.scrollTop + document.documentElement.clientHeight - menu.obj.clientHeight;
	if (pos!=old) {
		change = pos - old;
		if (document.getElementById) menu.style.top = (parseInt((menu.style.top).replace(/px/,"")) + change) + "px";
		old += change;
	}
	setTimeout("movemenu()", 1);
}