if (!window.$) {
window.$ = function(id) { return document.getElementById(id); }
}
var t = new Date().getTime();
shadowedBorder.render('header');
for (id in partialBorders) {
    partialBorders[id].render(id);
  }