function deact()
	{
	var1 = document.getElementById('query').className; 
	if (var1!="forfocus")
		{
		document.getElementById('tools').className='inactive';
		}
	}