$ = function(id) {
	
	return document.getElementById(id);	
}

filefilter = function(el) {

	try{
		var filter = el.value;

		el.className = filter != '' ? 'active' : '';
	
		var Files = $("files").getElementsByTagName("li");
		
		// <+)))><	
		for( var i = 0; i < Files.length; i++ ) 
			Files[i].className = Files[i].getElementsByTagName("span")[0].innerHTML.toLowerCase().indexOf( filter.toLowerCase() ) == -1 ? "off" : "";

	} catch(e) {}	
}  

window.onload = function() {

}