var range;
var s;

function setRange()
{
	
	range = document.body.createTextRange();	

}//function...

function findText()
{

	
	alert( "1" );
	setRange();
	alert( "2" );
	s = 'info';
	alert( s );

	if ( range.findText( s ) ) {
		d = "<FONT style='background:blue; color:white' >" + range.text + "</FONT>";
		range.pasteHTML( d );

	}//if...

}//function...

function Test()
{
	alert( "hi_ 4544" );
}//Test....