function open_eyes() {
  var e = document.getElementById("header_logo_closed");
  if (e != null)
    e.id = "header_logo_open";
}

function close_eyes() {
  var e = document.getElementById("header_logo_open");
  if (e != null)
    e.id = "header_logo_closed";
}

// vim: ft=javascript et ts=2 sw=2