window.onload = function credits(){
	if(!document.getElementById){ return; }
	var credits_link = document.getElementById("credits");
	if(!credits_link){return;}
	credits_link.onclick = function(){  // why can this be done but mouseover requires adding a listener?
		var pop=window.open(this.href, 'popup', 'height=180, width=400, toolbar=no');
		return false;
	}
}