<!--

function SetStyleById(i, p, v) {
	var n = document.getElementById(i);
	n.style[p] = v;
}

function ShowFullMenu() {
	SetStyleById("left", "width", 400 + 'px');
}

function HideFullMenu() {
	SetStyleById("left", "width", 200 + 'px');
}

// -->