function chosen(num_chosen)
{
	document.images[num_chosen].src = "/img/nav/" + num_chosen + "_chosen.png"
}
function over(num_over)
{
	document.images[num_over].src = "/img/nav/" + num_over + "_over.png"
}
function out(num_out)
{
	document.images[num_out].src = "/img/nav/" + num_out + ".png"
}
function chosenGif(num_chosen)
{
	document.images[num_chosen].src = "/img/nav/" + num_chosen + "_chosen.gif"
}
function overGif(num_over)
{
	document.images[num_over].src = "/img/nav/" + num_over + "_over.gif"
}
function outGif(num_out)
{
	document.images[num_out].src = "/img/nav/" + num_out + ".gif"
}