			if (document.images) {
				navigation = new makeimgarray(5);
				navigation_mo = new makeimgarray(5);

				navigation[1].src="images/green_button_off.png";
				navigation_mo[1].src="images/green_button.png";

				navigation[2].src="images/black_button_off.png";
				navigation_mo[2].src="images/black_button.png";

				navigation[3].src="images/red_button_off.png";
				navigation_mo[3].src="images/red_button.png";

				navigation[4].src="images/blue_button_off.png";
				navigation_mo[4].src="images/blue_button.png";

			}
			function makeimgarray(num) {
				this.length = num;
				for (var i=0; i<=num+1; i++) this[i] = new Image();
				return this;
			}
			function navigation_mover(num) {
				if (document.images) document.images['button' + num + 'navigation'].src = navigation_mo[num].src;
			}
			function navigation_moff(num) {
				if (document.images) document.images['button' + num + 'navigation'].src = navigation[num].src;
			}
			function loadwin(source, target) {
				 parent.setTimeout('window.frames[\'' + target + '\'].location.href = \'' + source + '\'', 0);
			}
