// rollover button routine, etc...
// javascript
// by J.Robyn, July 2001
// modified by Rob Cozzens, August 2001


var PatchOn = new Image();
var PatchOff = new Image();

PatchOn.src = "./buttons/Patch_on.gif";
PatchOff.src = "./buttons/Patch_off.gif";