function detectOpera()
{
	if (window.navigator.userAgent.indexOf('Opera') != -1)
	{
		document.getElementById('searchText').className = 'search-txt-opera';
	}
}