function	overpagelinksrc(pname, iname)	{
	var	linkword = document.getElementById( pname );
	linkword.src = "../images/cover/hilite/" + iname;
}

function	outpagelinksrc(pname, iname)	{
	var	linkword = document.getElementById( pname );
	linkword.src = "../images/cover/" + iname;
}