package initer const defaultScript string = `function retard() { var x = document.getElementById("navigation"); if (x.className === "navigation") { x.className += " retarded"; } else { x.className = "navigation"; } } `