function resizeObject(name, size)
{
	if (document.getElementById)
	{
		document.getElementById(name).style.height= size+"px";			
	}
	else if (document.all)
	{
		document[name].height= size;			
	}
}

function makeBigger()
{
	resizeObject('dropdown', 800);
}

function makeSmaller()
{
	resizeObject('dropdown', 112);
}