function gallery(image, headertext) {
	window.open('../Gallery.aspx?IMG=' + image + '&HT=' + escape(headertext), 'Gallery','width=640,height=420,directories=no,location=no,menubar=no,resizable=no,status=no,statusbar=no,titlebar=no,toolbar=no,scrollbars=no');
}
function swapImage(imgID, imgFile) {
	imgID.src = imgFile;
}
function showSubMenu(menuID) {
	document.getElementById(menuID).className = 'show';
}
function HiLiteMe() {
	for (var i = 0; i < HiLiteMe.arguments.length; i++) {
		document.getElementById(HiLiteMe.arguments[i]).style.fontWeight = 'bold';
	}
}

function wopen(url, name, w, h) {
    // Fudge factors for window decoration space.
    // In my tests these work well on all platforms & browsers.
    w += 32;
    h += 96;
    var win = window.open(url,
  name,
  'width=' + w + ', height=' + h + ', ' +
  'location=no, menubar=no, ' +
  'status=no, toolbar=no, scrollbars=yes, resizable=no');
    win.resizeTo(w, h);
    win.focus();
}