function $id(v) { return document.getElementById(v); }
function $cls(v) {
	var n = document.getElementsByTagName("body")[0], a = [], re = new RegExp('\\b' + v + '\\b'), es = n.getElementsByTagName("*"), i = es.length - 1;
	for(i; i >= 0; i--) { if(re.test(es[i].className)) { a.push(es[i]); } } return a;
}
function redirect(v) { if(v != '') { window.location = v; } return false; }