image1 = new Image();
image1.src = "nav_button1_over.png";
image2 = new Image();
image2.src = "nav_button2_over.png";
image3 = new Image();
image3.src = "nav_button3_over.png";

function show_long_cite()
{
	text = document.getElementById("long_cite");
	text.style.display = "inline";
	
	link = document.getElementById("show_cite");
	link.style.display = "none";
}

function hide_long_cite()
{
	text = document.getElementById("long_cite");
	text.style.display = "none";
	
	link = document.getElementById("show_cite");
	link.style.display = "inline";
}