var img9 = new Image(); img9.src = "images/backward.gif";
var img10 = new Image(); img10.src = "images/backward2.gif"; 

var is_konqueror = agt.indexOf("konqueror")!=-1

function extras() 
{
if (is_konqueror)
	{
		document.getElementById("main").style.minHeight="33em";
		document.getElementById("bars").style.minHeight="33em";
	}
}