// dummy...
var window = {
    addEventListener: function(s,f,v) {},
};