// <!--

        var rollover_OK = "no";

        function readyToGo() {

                rollover_OK = "yes";

                }

function rollOver(name) {
	document.images[name].src = '/images/nav/' + name + '_highlight.gif';
		}

function rollOut(name) {
	document.images[name].src = '/images/nav/' + name + '.gif';
		}
		

// -->