	 var b_home 					= new Image();
	 var b_home_over 			= new Image();
	 var b_info 					= new Image();
	 var b_info_over 			= new Image();
	 var b_links 					= new Image();
	 var b_links_over 		= new Image();
	 var b_contact 				= new Image();
	 var b_contact_over 	= new Image();
	 var b_download 			= new Image();
	 var b_download_over	= new Image();
	 var b_forum 					= new Image();
	 var b_forum_over			= new Image();
	 var b_thoughts				= new Image();
	 var b_thoughts_over  = new Image();

 
	function preload_images () {
			if(document.images){
				// load normal images
				 b_home.src 		= '/img/b_home.jpg';
				 b_info.src 		= '/img/b_info.jpg';
				 b_links.src 		= '/img/b_links.jpg';
				 b_contact.src 	= '/img/b_contact.jpg';
				 b_download.src = '/img/b_download.jpg';
				 b_forum.src 		= '/img/b_forum.jpg';
				 b_thoughts.src = '/img/b_thoughts.jpg';

				// load highlighed images
				 b_home_over.src 			= '/img/b_home_over.jpg';
				 b_info_over.src 			= '/img/b_info_over.jpg';
				 b_links_over.src 		= '/img/b_links_over.jpg';
				 b_contact_over.src 	= '/img/b_contact_over.jpg';
				 b_download_over.src	= '/img/b_download_over.jpg';
				 b_forum_over.src 		= '/img/b_forum_over.jpg';
				 b_thoughts_over.src  = '/img/b_thoughts_over.jpg';
		}
	}			
	
	function act(imgName) {
		 if(document.images){
	      document.images[imgName].src = eval(imgName+'_over.src');
	   }
	}
	
	function inact(imgName) {
	   if(document.images){
	     document.images[imgName].src = eval(imgName+'.src');
	   }
	}
	


			var allThemes = new Array();
			allThemes[0] = "standard";
			allThemes[1] = "simple";

			var themeCookie = new Cookie (document, "Theme", 720, "/");
			// default theme is standard
			currentTheme = 0;
			// if we can load cookie with user choosen theme then use it instaead
			if ((themeCookie.load()) && themeCookie.theme) { 
				currentTheme = themeCookie.theme 
			}
			themeStyles = "<link rel='STYLESHEET' type='text/css' href='/" + allThemes[currentTheme] + ".css' media='screen' />"; 
			// thell the document which theme to use 
			document.write(themeStyles);
			// and store cookie (at least to update the expiration date)
			themeCookie.theme = currentTheme;			
			themeCookie.store();			
	 
			function DisplayThemeSelector () {
				document.write ("<div id=\"theme_selector\">");
				document.write ("<form id=\"theme_form\" name=\"theme_form\" action=\"\">");
				document.write ("THEME: <select onchange=\"ChangeTheme();\" name=\"theme_name\" id=\"theme_name\" tabindex=\"-1\">");
				for (i=0; i<allThemes.length; i++) {
					document.write ("<option value=\"" + allThemes[i] +"\">" + allThemes[i] + "</option>");
				}
				document.write ("</select></form></div>");
				document.theme_form.theme_name.options[currentTheme].selected = true;
			}
			
			function ChangeTheme () {
				var themeIndex = document.theme_form.theme_name.selectedIndex;
				if(themeIndex < 0) {return};
				if(themeIndex > allThemes.length) {return};
				themeCookie.theme = themeIndex;
				themeCookie.store();
				thisURL = document.location.href;
				// reload document with new theme
				document.location.href = thisURL.substring(0, thisURL.indexOf("?")) + "?" + allThemes[themeIndex];
			}
	

