// Popup

function $(id) {
  return document.getElementById(id);
}

function bootstrap() {
  scripttag = $('script');
  if (!scripttag)
    return;
  text = scripttag.childNodes[0].nodeValue;
  eval(text);
}