var $=function(id) {
return document.getElementById(id);
}
var notify=function(s) {
if(!$("notify")) {
var n = document.createElement("dl");
n.setAttribute("id", "notify");
document.body.appendChild(n);
}
var c = document.createElement("dt");
var t = document.createTextNode(s);
c.appendChild(t);
$("notify").appendChild(c);
}
Download
