// JavaScript Document

//Color theme buttons
var DarkBlue_over=new Image();
    DarkBlue_over.src="images/but_DarkBlue-over.gif";
   
var Blue_over=new Image();
    Blue_over.src="images/but_Blue-over.gif";
	
var Green_over=new Image();
    Green_over.src="images/but_Green-over.gif";
	
var Orange_over=new Image();
    Orange_over.src="images/but_Orange-over.gif";
	
var Gray_over=new Image();
    Gray_over.src="images/but_Gray-over.gif";

	
	
//function for image over
function mouse_over(imageName){
		//document.images[imageName].src="Images/Button/"+ imageName +"_sel.gif";
		document.images[imageName].src=eval(imageName +"_over.src");
		}
//function for image out
function mouse_out(imageName){
		document.images[imageName].src="images/but_"+ imageName +".gif ";
		}