var gDockDelay = 250;			// delay dock action in milliseconds
var gDockTimeout = 0;
var gSlidingNow = false;		// just keep track of whether we are in the process of sliding now or not

function SlideUp()
{
dock = document.getElementById('dock');

	if (dock.offsetTop > 399)
	{
		dock.style.top = dock.offsetTop - 5 + 'px';
		gDockTimeout = setTimeout("SlideUp()", 5);
		gSlidingNow = true;
	}
	else
	{
		clearTimeout(gDockTimeout);
		gSlidingNow = false;
	}
}

function SlideDown()
{
dock = document.getElementById('dock');

	if (dock.offsetTop < 440)
	{
		dock.style.top = dock.offsetTop + 5 + 'px';
		setTimeout("SlideDown()", 5);
		gSlidingNow = true;
	}
	else
	{
		clearTimeout(gDockTimeout);
		gSlidingNow = false;
	}
}

function DockAnimate(direction)
{
	if (gSlidingNow)
		return;
		
	if (direction == 'up')
	{
		clearTimeout(gDockTimeout);
		gDockTimeout = setTimeout('SlideUp();', gDockDelay);
	//	SlideUp();
	}
	else
	{
		clearTimeout(gDockTimeout);
		gDockTimeout = setTimeout('SlideDown();', gDockDelay);
	}
	
}

function ChangeImage(img)
{
}