// JavaScript Document
function attachPkgNavHandlers(){
	var linksDiv = document.getElementById('pkgLinks') ;
	if(linksDiv){
		var links = linksDiv.getElementsByTagName("a") ;
		for(i = 0; i < links.length; i++){
			links[i].onclick = function() { loadPkgContents(this); return false; } ;
		}
	}
}