var savedTitle;
var alertMode = 0;
function catchUserAttention()
{
	if (alertMode==0)
	{
		savedTitle = document.title;
		document.title = '!!! '+savedTitle;//(FF only?!)
		self.focus();//(IE only!)
		alertMode=1;
	}
}
function uncatchUserAttention()
{
	if (alertMode==1)
	{
		document.title = savedTitle;
		alertMode=0;
	}
}
