function thisMovie ( movieName ) {
	if (navigator.appName.indexOf("Microsoft") != -1) {
		return window[movieName];
	} else {
		return document[movieName];
	}
 }
function enlargeDiv ( arg  )	{
	var obj = document.getElementById('menu');
	var p = thisMovie( 'menu_cos' );
	obj.style.height = arg + 'px';
	p.height = arg;
}
function minimizeDiv (  )	{
	var obj = document.getElementById('menu');
	obj.style.height = '31' + 'px';
	var p = thisMovie( 'menu_cos' );
	p.height = 31;
}