context: function saveScrollCoordinates(form) {	var x, y;	if (document.documentElement && document.documentElement.scrollTop) {		// IE 6		x = document.documentElement.scrollLeft;		y = document.documentElement.scrollTop;	} else if (document.body) {		// IE 5		x = document.body.scrollLeft;		y = document.body.scrollTop;	} else {		// Netscape, Mozilla, Firefox etc		x = window.pageXOffset;		y = window.pageYOffset;	}    var xinput = createNamedElement("input", "windowScrollX");    xinput.type = 'hidden';    var yinput = createNamedElement("input", "windowScrollY");    yinput.type = 'hidden';    xinput.value = x;    yinput.value = y;        form.appendChild(xinput);    form.appendChild(yinput);} 
meta: 7108	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7108/ad0af2022e5921dc9a36d0d5cf62e390b55b6743/aranea-ui.js/clean/etc/js/aranea/aranea-ui.js