// Identical to simpleSourcedScript.js but with a different hash, thanks to
// this comment!
window.postMessage(document.currentScript.id, "*");