function getOff()
	{	
	var x = document.getElementById("banner11");
	return x.offsetHeight;
	}
function setOff()
	{
	var x = document.getElementById("banner11");
	height1=getOff()-1;  
  	x.style.height = height1+'px';	
  	}
function slowDecrementOff()
	{
	i= getOff();
	if (i>=1)
		{
		setOff();  
		setInterval("slowDecrementOff()",250);  
		}
	}  
function mysetTimeout(a)
	{ 	
	if
		(a>2)
		{
		b=a-1;
		setInterval("mysetTimeout(b)",2000);
		} 
	else
		{
		b=1	;
		slowDecrementOff();
		}
	return b;	
	}
function timedSlowDecrementOff()
	{
	mysetTimeout(3); 
	}