<%! from django.template.defaultfilters import escapejs %>

<script type="text/javascript">
  var $$user_info = JSON.parse("${user_info | escapejs}");
  var $$course_id = "${course_id | escapejs}";
  if (typeof $$annotated_content_info === undefined || $$annotated_content_info === null) {
    var $$annotated_content_info = {};
  }
  $$annotated_content_info = $.extend($$annotated_content_info, JSON.parse("${annotated_content_info | escapejs}"));
</script>
