anchor.diff:    Video.defaultLoadOptions.corsEnabled = true;
   
     var canvas = html.querySelector('#stage');
  -  var random = new Random();
   
     stage = new Stage(canvas, webGL: true, width:1600, height: 800);
     stage.scaleMode = StageScaleMode.SHOW_ALL;
  
positive.code: 
    var button = event.target as Button;
    var random = new Random();
    var randomInt = button.state ? 1 + random.nextInt(3) : 0;
  
    if (randomInt == 0) {
      videoContainer2D.filters.clear();
    } else if (randomInt == 1) {
      videoContainer2D.filters.add(new ColorMatrixFilter.invert());
    } else if (randomInt == 2) {
      videoContainer2D.filters.add(new BlurFilter(8, 8));
    } else if (randomInt == 3) {
      var displacement = resourceManager.getBitmapData("displacement");
      var transform = new Matrix.fromIdentity();
      transform.translate(-displacement.width / 2, -displacement.height / 2);
  
negative.code:   // compatibility with mobile devices. On most mobile devices loading a video
    // does only work from an input event and not from elsewhere.
  
    Video.load(videoSources.first).then((Video sintelVideo) {
      showVideo(sintelVideo);
    }).catchError((e) {
      html.window.alert(e.toString());
  