<!-- In hiding!
function img_act(imgName,key)
{
    document[imgName].src = "img/" + imgName + key + ".gif";
    document[imgName+"1"].src = "img/" + "dot_blue" + key + ".gif";
    document[imgName+"2"].src = "img/" + "line" + key + ".gif";
    document[imgName+"3"].src = "img/" + "hat" + key + ".gif";
}
//-->