// ======================================= //
//         ARMADYNE JAVASCRIPT API         //
//                                         //
//    Use these tools to ensure accurate   //
//         urls in your javascript         //
// --------------------------------------- //
// 11/17/2004:MCF                          //
// ======================================= //
var armabase = "http://www.foreignsource.com/gui/gui1/";
function mapurl(addr){
   if (addr.search(/^\w+:/)==0)
      return addr;
   else
      return armabase + addr;
   
}