function changeSignIn(username)
{
  var div = document.getElementById("signin");
  if (username != null && username != "") {
    div.innerHTML = "<a href='/etc/logout.php' style='color:#0000FF;'>Sign out ("+username+")</a>";
  }
  else {
    div.innerHTML = "<a href='/etc/login.php' style='color:#00A000;'>Sign in</a>";
  }
}