function updateLampMenuPosition()
{
	var hscroll = (document.all ? document.documentElement.scrollLeft : window.pageXOffset);
	var vscroll = (document.all ? document.documentElement.scrollTop : window.pageYOffset);
				
	//alert((document.all ? "ie" : "notie"));

	if ( vscroll < 258 )
		document.getElementById('lampmenu').style.top= 258+"px";
	else
		document.getElementById('lampmenu').style.top= vscroll+"px";
}

window.onscroll = updateLampMenuPosition;
document.onscroll = updateLampMenuPosition; 

var tinyMCE = new Object();