function jl_topLinkIn(id) {
	var element = document.getElementById(id);
	element.style.fontWeight = "bold";
}

function jl_topLinkOut(id) {
	var element = document.getElementById(id);
	element.style.fontWeight = "normal";
}

function jl_openWindow(theURL, winName, features) {
	window.open(theURL, winName, features);
}