var hoverColors = new Array();
hoverColors['default'] = '#FFFFEB';
hoverColors['hover'] = '#E8DBCD';

function navRollOver(obj, state) {
  document.getElementById(obj).className = (state == 'on') ? 'nav-highlight' : 'nav';
}