// simple but thorough js stuff here
function $(id)
{
  return document.getElementById(id);
}

var Thing =
{
  doClickLogo: function(evt)
  {
    if (evt.ctrlKey && Thing.id)
    {
      document.location.href = "/editthings/" + Thing.id;
      return false;
    }
    return true;
  }  
};