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 initNav(){
	var navs = document.getElementById('nav').getElementsByTagName('img');

	for (i=0; i<navs.length; i++){
		navs[i].onmouseover = function(){
			if (this.id != activeNavId)
				this.src = this.src.replace('/nav_', '/nav_on_');
		}
		navs[i].onmouseout = function(){
			if (this.id != activeNavId)
				this.src = this.src.replace('/nav_on_', '/nav_');	
		}
	}
}