var origsrc;
function toggle(event, img) {
 var ida = document.getElementById("idaimg");
 if (!ida) return;
 if (!origsrc) origsrc = ida.src;
 if (img) {
    img.onmouseout = toggle;
    ida.src = img.src.replace(/73/, "295");
 }
 else
    ida.src = origsrc;
}
