function init() {
  // quit if this function has already been called
  if (arguments.callee.done) return;

  // flag this function so we don't do the same thing twice
  arguments.callee.done = true;

  // kill the timer
  if (_timer) clearInterval(_timer);

  var a = document.getElementById('vie_jmpsearch');
  if (a) {
  a.onclick = function(evt){
       evt = document.suchform.text.focus();
       return false;
      }
   } 
  
     var logoutbutton = document.getElementById('vie_logout');
   if (logoutbutton) {
       logoutbutton.onclick = function(act) {
       act = complete_logout ();
       return act;
       }
    }
};

function complete_logout () {
// must logout from application and then redirect to loginout/LOGOUT to logout from gondor
var logoutlink = document.getElementById('dl-logout-link');
        if (logoutlink) {
           window.location.href = logoutlink.href;
           return false;
        } 
        else {
               return true;
        }
 
};


/* for Mozilla/Opera9 */
if (document.addEventListener) {
  document.addEventListener("DOMContentLoaded", init, false);
}

/* for Internet Explorer */
/*@cc_on @*/
/*@if (@_win32)
  document.write("<script defer src=/layout-a/scripts/vie_ie_onload.js><\/script>");
/*@end @*/

/* for Safari */
if (/WebKit/i.test(navigator.userAgent)) { // sniff
  var _timer = setInterval(function() {
    if (/loaded|complete/.test(document.readyState)) {
      init(); // call the onload handler
    }
  }, 10);
}

/* for other browsers */
window.onload = init;