////////////////////////////////////////////////////////////
//                                                        //
// navigate.js - standard JavaScript library module       //
//                                                        //
// Copyright : (c) 1998-99,00-03 all rights reserved by   //
//                 Technical System Services Limited      //
//                                                        //
//============={ Version: 7.3 - SC 03/04/03 }=============//

////////////////////////////////////////////////////////////
//                                                        //
// img_on(imgName) - Activate ON image                    //
//                                                        //
////////////////////////////////////////////////////////////

function img_on(imgName) {
   if (v4) {
      imgOn = eval(imgName + "1.src");
      document [imgName].src = imgOn;
   }
}

////////////////////////////////////////////////////////////
//                                                        //
// img_off(imgName) - Activate OFF image                  //
//                                                        //
////////////////////////////////////////////////////////////

function img_off(imgName) {
   if (v4) {
      imgOn = eval(imgName + "0.src");
      document [imgName].src = imgOn;
   }
}

////////////////////////////////////////////////////////////
//                                                        //
// write_icon(urlText, srcText, altText, nameText)        //
//          - urlText is URL to jump to.                  //
//          - srcText is image 'SRC=' parameter.          //
//          - altText is image 'ALT=' parameter.          //
//          - nameText is image 'NAME=' parameter.        //
//                                        ...             //
//    support routine to display a local icon button.     //
//                                                        //
//============={ Version: 4.0 - SC 24/08/99 }=============//

function write_icon(urlText, srcText, altText, nameText)  {

   document.write('<A HREF=' + urlText );
   document.write('   onMouseOver="img_on(\'' + nameText + '\');" ');
   document.write('   onMouseOut="img_off(\'' + nameText + '\');" >');

   document.write('<IMG SRC="' + srcText + '" ');
   document.write('     ALT="' + altText + '" ');
   document.write('     BORDER=0 ');
   document.write('     NAME="' + nameText + '" >' );

   document.write('</A>');

}

////////////////////////////////////////////////////////////
//                                                        //
// write_img(srcText, altText)                            //
//          - srcText is image 'SRC=' parameter.          //
//          - altText is image 'ALT=' parameter.          //
//                                        ...             //
//    support routine to display a local icon button.     //
//                                                        //
//============={ Version: 4.0 - SC 24/08/99 }=============//

function write_img(srcText, altText)  {

   document.write('<IMG SRC="' + srcText + '" ');
   document.write('     ALT="' + altText + '" >');

}

////////////////////////////////////////////////////////////
//                                                        //
// write_link(urlText, lnkText, nameText)                 //
//          - urlText is URL to jump to.                  //
//          - lnkText is hypertext link text.             //
//          - nameText is image 'NAME=' parameter.        //
//                                        ...             //
//    support routine to display a local icon button.     //
//                                                        //
//============={ Version: 4.0 - SC 24/08/99 }=============//

function write_link(urlText, lnkText, nameText)  {

   document.write('<A HREF=' + urlText );
   document.write('   onMouseOver="img_on(\'' + nameText + '\');" ');
   document.write('   onMouseOut="img_off(\'' + nameText + '\');" >');

   document.write(lnkText);

   document.write('</A>');

}

////////////////////////////////////////////////////////////
//                                                        //
// write_href(urlText, lnkText)                           //
//          - urlText is URL to jump to.                  //
//          - lnkText is hypertext link text.             //
//                                        ...             //
//    support routine for navigation menus etc.           //
//                                                        //
//============={ Version: 4.6 - SC 31/01/00 }=============//

function write_href(urlText, lnkText)  {

//   alert('<A HREF="' + urlText +'">' );

   document.write('<A HREF="' + urlText +'">' );
   document.write(lnkText);
   document.write('</A>');

}

////////////////////////////////////////////////////////////
//                                                        //
// write_span(spanId, spanClass, spanText)                //
//          - spanID is ID= parameter for SPAN tag        //
//          - spanClass is CLASS= parameter for SPAN tag  //
//          - spanText is text to apply SPAN style to.    //
//                                        ...             //
//    support routine for navigation menus etc.           //
//                                                        //
//============={ Version: 4.6 - SC 31/01/00 }=============//

function write_span(spanId, spanClass, spanText)  {

   document.write('<SPAN ID="' + spanId +'" ' );
   document.write('      CLASS="' + spanClass +'">');
   document.write(spanText);
   document.write('</SPAN>');

}