function $(i) {
    var r = null;
    if (typeof i != "undefined" && i) r = document.getElementById(i);
    return r;
}
function $1(s) {
    var i = new Image();
    i.src = s;
}