//function $(id) {return document.getElementById(id);}
	function classFilter(r,m,not){
		m = " " + m + " ";
		var tmp = [];
		for ( var i = 0; r[i]; i++ ) {
			var pass = (" " + r[i].className + " ").indexOf( m ) >= 0;
			if ( not ^ pass )
				tmp.push( r[i] );
		}
		return tmp;
	}