// JavaScript Document
function $() {
	var elements = new Array();
	for (var i = 0; i < arguments.length; i++) {
		var element = arguments[i];
		if (typeof element == 'string')element = document.getElementById(element);
		if (arguments.length == 1)return element;
		elements.push(element);
	}
	return elements;
}

function stHMenu(s) {
	var a=$("c-menu"),b
	if(a){
		b=a.getElementsByTagName("a")
		for(var j=0; j<b.length; j++){
			if(b[j].innerText==s){
				b[j].className="st"
				return
			}
		}
	}
}