function enlargeNaviDiv() {
	var transObj = new Effect.Transform([
		 { "#container" : 'height:540px;'},
		 { "#aclexternal" : 'height:540px;'}
	],
	{
		duration: 1
	});
	transObj.play();
}

function shrinkNaviDiv() {
	var transObj = new Effect.Transform([
		 { "#container" : 'height:320px;'},
		 { "#aclexternal" : 'height:320px;'}
	],
	{
		duration: 1
	});
	transObj.play();
}