function picNav(navArg, picArg, num){	if(!document.getElementById) return;	for(i=1; i<6; i++){		if (!document.getElementById(picArg + 0 + i)) continue;		if(i == num){			document.getElementById(navArg + 0 + i).src = "../common/picnav0" + i + "_over.gif";			document.getElementById(picArg + 0 + i).style.display = "";		}else{			document.getElementById(navArg + 0 + i).src = "../common/picnav0" + i + "_out.gif";			document.getElementById(picArg + 0 + i).style.display = "none";		}	}}