var pages_array = new Array;

function displayPages(the_page){
	if (document.getElementById(the_page).style.display==""){
		document.getElementById(the_page).style.display = "none";
	return
	}
	for (i=0;i<pages_array.length;i++){
		var my_page = document.getElementById(pages_array[i]);
		my_page.style.display = "none";
	}
	document.getElementById(the_page).style.display = "";
}