function getrandom()
{
var min_random = 1;
var max_random = 3;
max_random++;
var range = max_random - min_random;
var n=Math.floor(Math.random()*range) + min_random;
return n;
}

function Anim(iname,fname)
{
    document.all[iname].src=fname+'.gif';
}