rem: count++; if( count > 20) 
add:  externurl = urllist[externurlindex];   visitedlist.push(externurl);   if( xmlhttpext) 
context: 	newRequest: function()	{		// now determine random-link		var f = false;		var count = 0;		while( f == false )		{ 	externurlindex = Math.round((urllist.length-1)*Math.random())			f = true;			// check if shortly visited			for( var k = 0; k < visitedlist.length; k++)			{				if( visitedlist[k] == urllist[externurlindex])				{	f = false; // try again				}			}			count++;			if( count > 20)			{				//alert('delete history');				visitedlist.splice(0, visitedlist.length); // empty complete history			}		}		externurl = urllist[externurlindex]; // remember current url		// seite laden		visitedlist.push(externurl);		//alert(urls[i]);		// Request erstellen (globale variable)		xmlhttpext = new XMLHttpRequest();		// Callback Registrieren wenn der Server fertig ist		xmlhttpext.onreadystatechange = AutoBrowse.onExternSearchFinished;		// Request methode, url und asyncron (true/false) definieren		xmlhttpext.open("GET", externurl, true); 		// Request senden		xmlhttpext.send(null);	} // newRequest
meta: 10019	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10019/b8713d2c4675db7ebd878893225c9da424d812db/overlay.js/buggy/src/content/overlay.js