var dom = (document.getElementById) ? true : false;
window.onload=init;

function init() {
	setNav();
}

function setNav() {
	if(dom) {
		var a = document.getElementById("nav").getElementsByTagName("a");
		for(var i=0;i<a.length; i++) {
			if((a[i].getElementsByTagName("img").length>0)&&(a[i].className!="active")) {
				a[i].onmouseover = function() {
					this.getElementsByTagName("img")[0].src = "graphics/nav/" + this.id + "_over.gif"
				}
				a[i].onmouseout = function() {
					this.getElementsByTagName("img")[0].src = "graphics/nav/" + this.id + ".gif"
				}
			}
		}
	}
}

function swapPic(p) {

}