gecko-dev/dom/apps/tests/addons/script.js

// Simple script that changes an element's content.

var head = document.getElementById("header");
head.innerHTML = "Hello World!";