/*Javascript file/*


/*****************************************************************************/
/* imageSwitch                                                               */
/*                                                                           */
/* When called switches an image named yada.gif to one named                 */
/* yadapressed.gif, or vice versa depending on the specific call.            */
/*                                                                           */
/* Parameters                                                                */
/*                                                                           */
/* imgObject          the image object on which to perform the operation.    */
/* action             'press' if we want to end up with yadapressed.gif      */
/*                    'release'  if we want to end up with yada.gif          */
/*                                                                           */
/* Returns                                                                   */
/*                                                                           */
/* nothing                                                                   */
/*                                                                           */
/*****************************************************************************/
function imageSwitch(imgObject,action)
{
  var srcName=imgObject.src;
  var newName;

  if (action == 'press')
  {
     newName=srcName.replace('.gif','pressed.gif');
  }
  else
  {
     newName=srcName.replace('pressed.gif','.gif');
  }
  imgObject.src=newName;
}

function imageAppear(imgObject,action)
{
  var srcName=imgObject.src;
  var newName;

  if (action == 'appear')
  {
     newName=srcName.replace('blank.gif','.gif');
  }
  else
  {
     newName=srcName.replace('pressed.gif','.gif');
     newName=newName.replace('.gif','blank.gif');
  }
  imgObject.src=newName;
}