function getRef(id) { try { return document.getElementById ? document.getElementById(id) : null; } catch(e) { return null; } };

function resizeMenu(height) {
	var ref = document.getElementById('menu_main');
	if(isNaN(height) || height == '' || height < 110) {
		ref.style.height = '110px';
	} else {
		ref.style.height = Math.ceil(height) + 'px';
	}
};