Event.observe(window, 'load', function()
{
  
  var shortcuts = $$('#shortcutKeys span');
  
  for (var i = 0;
       i < shortcuts.length;
       i++)
  {
    pageNavigation.setShortcut(shortcuts[i].childNodes[0].nodeValue);
	}

});