var __navi_init_done__ = false;
            

            function swapImage(img)
                {
                if (__navi_init_done__)
                    document.images[img].src = eval(img + '_hi.src');
                }

            function reSwapImage(img)
                {
                if (__navi_init_done__)
                    document.images[img].src = eval(img + '_no.src');
                }