// displays the profile button if the user is logged in or hides it otherwise
function updateProfileButton()
{
  var container = obtainElementById( "profileBox" );
  if ( !container )
    return;
    
  // setting up the button
  var content = "";
  if ( USER_ID != DEFAULT_USER_ID )
  {
    content += "<div class='profilebox'>";
    content += "<a href='" + userProfileUrlCommonPart + USER_ID + "'><img src='" + THEME_PATH + "icons/profilevvs.gif' width='26' height='32'";
    content += " alt='Профиль'";
    content += " onmouseover='javascript: if ( siteHelperPanelOpened ) placeElementWithContentOnTopFromMe( this, \"hintconstrain\", \"hintcontent\", \"Ваш&nbsp;профиль. Там&nbsp;можно изменить настройки (имя,&nbsp;пароль и&nbsp;прочее).\", 0, 0, hintHidingDelay );'";
    content += " onmouseout='javascript: startHidingLastElement(\"hintconstrain\");' /></a>";
    content += "</div>\n";
  };
  
  container.innerHTML = content;
}