function hotswap(numeral){

var identify = 'nav' + numeral ; 
var source = '/images/nav/navr-' + numeral + '.png' ; 

eval("document.getElementById(identify).src = source");


}

function hotrestore(numeral){

var identify = 'nav' + numeral ; 
var source = '/images/nav/navg-' + numeral + '.png' ; 
eval("document.getElementById(identify).src = source");

}