function $el(el){
	return document.getElementById(el);	
}

function setTopMenu(el){
	$el('menu'+el).class = 'current';
	$el('menu'+el).setAttribute('class', 'current');
}

function setRightMenu(el){
	$el('r'+el).class = 'on';
	$el('r'+el).setAttribute('class', 'on');
}