// Image Swapping
function over( e ) 
{
	var event = (e) ? e : windows.event;
	var obj = (event.target) ? event.target : event.srcElement;
	if ( obj.tagName != "IMG" ) return;
	showCurrent( obj );
}

function out( e ) 
{
	var event = (e) ? e : windows.event;
	var obj = (event.target) ? event.target : event.srcElement;
	if ( obj.tagName != "IMG" ) return;
	if ( obj.parentNode.className == "selected" ) return;
	showNormal( obj );
}

function showNormal( obj )
{
	if ( !obj.name ) return;
	var newImageSrc = obj.src.replace("nav_" + obj.name + "_sel.gif", "nav_" + obj.name + ".gif");
	obj.src = newImageSrc; 
}		
function showCurrent( obj )
{
	if ( !obj.name ) return;
	var newImageSrc = obj.src.replace("nav_" + obj.name + ".gif", "nav_" + obj.name + "_sel.gif");
	obj.src = newImageSrc; 
}

function initPage()
{
}