function highlight(no)
                        {
                                document.images["nav"+no].src="img/nav_fadein.gif";
                        }

                function downlight(no)
                        {
                                document.images["nav"+no].src="img/nav_fadeout.gif";
                        }