// JavaScript Document
function image_on(imageName)
{
	document[imageName].src='images/nav_' + imageName + '_on.gif';
}

function image_off(imageName)
{
	document[imageName].src='images/nav_' + imageName + '.gif';
}