function changeButton ( $Button )
  {
   if ( navigator.appName != 'Opera' )
   	document.getElementById($Button).style.borderBottom='3px solid #376C9E';
  }

  function backButton ( $Button )
  {
   if ( navigator.appName != 'Opera' )
   	document.getElementById($Button).style.borderBottom='3px solid #FFFFFF';
  }

  function bar ( url )
  {
    wasOpen  = false;
    win = window.open ( url );
    return ( typeof ( win ) == 'object' ) ? true : false;
  }