function findInPage() 
	{ 	if (parseFloat(navigator.appVersion) >= 4) 
		{ 	if (document.all) 
			{ 	st_text_to_find = window.prompt('Enter a search string', '');
				if (st_text_to_find == '') exit;
				var rng = document.body.createTextRange(); 
				var found = rng.findText(st_text_to_find); 
				if (found != false)
				{	rng.select(); 
					rng.scrollIntoView(); 
				}else { alert('Sorry, no matching information found.');	}
			} else {	window.find(); 	} 
		} 
	}