// first pre-load images
var picArr = new Array(7);
if(document.images){
	for(var i = 0; i < picArr.length; i++){
		var newImg = new Image();
		newImg.src = "assets/images/header_link" + (i+1) + ".gif";
		picArr[i] = newImg;
	}
}

function swapHeader(img, ison){
	if(ison == 1){
		var tmpsrc = (img.src).replace(".gif", "_on.gif");
		img.src = tmpsrc;
	}else{
		var tmpsrc = (img.src).replace("_on.gif", ".gif");
		img.src = tmpsrc;
	}
	
}