michael@0: onmessage = function() {
michael@0:   postMessage("loaded bad file");
michael@0: }