// states of menu button...normal button



b1norm = new Image();  b1norm.src = "newimages/menu_home.gif";

b2norm = new Image();  b2norm.src = "newimages/menu_about.gif";

b3norm = new Image();  b3norm.src = "newimages/menu_action.gif";

b4norm = new Image();  b4norm.src = "newimages/menu_donate.gif";

b5norm = new Image();  b5norm.src = "newimages/menu_archives.gif";

b6norm = new Image();  b6norm.src = "newimages/menu_faqs.gif";



// highlites right here

b1high = new Image();  b1high.src = "newimages/menu_homeon.gif";

b2high = new Image();  b2high.src = "newimages/menu_abouton.gif";

b3high = new Image();  b3high.src = "newimages/menu_actionon.gif";

b4high = new Image();  b4high.src = "newimages/menu_donateon.gif";

b5high = new Image();  b5high.src = "newimages/menu_archiveson.gif";

b6high = new Image();  b6high.src = "newimages/menu_faqson.gif";





function on_off( button, state ){

        if (document.images){

                if( state == 0 ){ // revert to normal 

                document[button].src = eval(button + "norm.src");

                }

                if( state == 1 ){ // highlite the button

                document[button].src = eval(button + "high.src");

                }

        }

}







function write_random( in_num ) {



	random_num = (Math.round((Math.random()*(in_num-1))+1))

	document.write(random_num);



}





function write_date() {

	var a,b,c,d,e,f;

	var d = new Date();

	a = d.getMonth()+1;



	e = d.getDay()+1;

	if(e ==1) {

		f = "Sunday"

	}

	else if(e ==2) {

		f = "Monday"

	}

	else if(e ==3) {

		f = "Tuesday"

	}

	else if(e ==4) {

		f = "Wednesday"

	}

	else if(e ==5) {

		f = "Thursday"

	}

	else if(e ==6) {

		f = "Friday"

	}

	else if(e ==7) {

		f = "Saturday"

	}



	if (a==1) {

		b = "Jan."

	}

	else if(a==2) {

		b = "Feb."

	}

	else if(a==3) {

		b = "Mar."

	}

	else if(a==4) {

		b = "Apr."

	}

	else if(a==5) {

		b = "May"

	}

	else if(a==6) {

		b = "Jun."

	}

	else if(a==7) {

		b = "Jul."

	}

	else if(a==8) {

		b = "Aug."

	}

	else if(a==9) {

		b = "Sept."

	}

	else if(a==10) {

		b = "Oct."

	}

	else if(a==11) {

		b = "Nov."

	}

	else if(a==12) {

		b = "Dec."

	}

	c = d.getDate();

	d = d.getYear();

	document.write(b +" " +c + ", " +d)

}