window.onload = function(){
    var table = document.getElementById("content").getElementsByTagName("table")[0];
    var imgs = table.getElementsByTagName("img");
    for (var i = 0; i < imgs.length; i++) {
        imgs[i].onmouseover = function(){
            this.src = this.src.split(".", 1) + "-h.gif";
        }
        imgs[i].onmouseout = function(){
            this.src = this.src.split("-", 1) + ".gif";
        }
    }
}