// JavaScript Document
    var currentlyVisibleTab = 0;
    function showProfileTab(tab_number) {
      var div = document.getElementById("divBody"+currentlyVisibleTab);
      if (div) {
        div.style.display = "none";
      }
      div = document.getElementById("t"+currentlyVisibleTab);
      if (div) {
        div.className = "";
      }
      currentlyVisibleTab = tab_number;
      div = document.getElementById("divBody"+currentlyVisibleTab);
      if (div) {
        div.style.display = "block";
      }
      div = document.getElementById("t"+currentlyVisibleTab);
      if (div) {
        div.className = "sel";
      }
    }