function changeImage3()
            {
            var list = document.getElementById('optionlist3');
            document.mainimage3.src = list.options[list.selectedIndex].value;
            }
        function prevImage3()
            {
            var list = document.getElementById('optionlist3');
            if(list.selectedIndex == 0)
                {
                list.selectedIndex = list.options.length-1;
                }
            else
                {
                list.selectedIndex--;
                }
            changeImage3();
            }
        function nextImage3()
            {
            var list = document.getElementById('optionlist3');
            if(list.selectedIndex == list.options.length-1)
                {
                list.selectedIndex = 0;
                }
            else
                {
                list.selectedIndex++;
                }
            changeImage3();
            }