function changeGif(param)
{document.gif.src=param;}
function changeGif0(param)
{document.gif0.src=param;}
function changeGif1(param)
{document.gif1.src=param;}
function changeGif2(param)
{document.gif2.src=param;}
function changeGif3(param)
{document.gif3.src=param;}
function changeGif4(param)
{document.gif4.src=param;}
function changeGif5(param)
{document.gif5.src=param;}
function changeGif6(param)
{document.gif6.src=param;}
function changeGif7(param)
{document.gif7.src=param;}
function changeGif8(param)
{document.gif8.src=param;}
function changeGif9(param)
{document.gif9.src=param;}
function changeGif10(param)
{document.gif10.src=param;}
function changeGif11(param)
{document.gif11.src=param;}