add: if (zone == "zone_main" && scroll_set != -1) { scroll(0, scroll_set);    } 
context: function endScript(zone){	//if (zone == "zone_main")	//	scroll(0,0);			var list = new Array();	var count = 0;	for (var i = 0; i < active_zones.length; i++)	{		if (active_zones[i] != zone)		{			list[count] = active_zones[i];			count++;		}	}	active_zones = list;	if (active_zones.length <= 0 && self.loading)		loading(false, zone);}
meta: 8936	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8936/53c6ba719c7e131b00cfa92b02b3c9c6bcab361d/murrix.js/buggy/trunk/system/murrix.js