function nav_m_over (obj)
	{ obj.firstChild.src = obj.firstChild.src.replace (/\.gif/, "_o.gif"); }

function nav_m_out (obj)
	{ obj.firstChild.src = obj.firstChild.src.replace (/_o\.gif/, ".gif"); }