var menuImageDirectory = '/images/menu/';

function ro (theID, onOrOff) {
	theObj = document.getElementById (theID);
	if (onOrOff == 1) {
		newSrc = menuImageDirectory + theID + '_f2.gif';
	} else {
		newSrc = menuImageDirectory + theID + '.gif';
	}
	theObj.src = newSrc;
}


function showPortfolio (thePage) {
	theURL = '/portfolio/' + thePage;
	portfolioWin = window.open (theURL, "portfolio","location=0,status=0,scrollbars=0, width=740,height=600");
}