function button_bright(id)
{
  button_state(id, 'bright');
}

function button_click(p)
{
  location.href = 'view.php?p=' + p;
}

function button_dim(id)
{
  button_state(id, 'dim');
}

function button_state(id, state)
{
  var button = document.getElementById('button_' + id);
  if (state == 'bright') {
    button.style.backgroundImage = 'url(img/nav_button_hover.gif)';
  }
  else {
    button.style.backgroundImage = 'url(img/nav_button_normal.gif)';
  }
}

function do_on_load()
{
  if (window.do_on_load_internal) {
    window.do_on_load_internal();
  }
}