function activeMenu(x) {
	if (document.getElementById(x)) {
		document.getElementById(x).className = "sel";
	}
}