<!--
function changeColor(link)
{

   if (link.style.color == "#ffffff") {
   link.style.color="#99cccc"
   link.style.fontWeight="bold"
   link.style.textDecorationNone="yes"}
}
function restoreColor(link)
{
   if (link.style.color == "#99cccc"){
   link.style.color="#ffffff"
   link.style.fontWeight="bold"
   link.style.textDecorationNone="yes"}
}
function changeSubColor(link)
{

   if (link.style.color == "#003366") {
   link.style.color="#ff0000"
   link.style.fontWeight="bold"
   link.style.textDecorationNone="yes"}
}
function restoreSubColor(link)
{
   if (link.style.color == "#ff0000"){
   link.style.color="#003366"
   link.style.fontWeight="bold"
   link.style.textDecorationNone="yes"}
}

//-->