<!--
// define images

offLED =  new Image;
onLED = new Image;

// source images

offLED.src = "interface/led_off.gif";
onLED.src = "interface/led_on.gif";

function ledOn(imgLocation){
	document.images[imgLocation].src = onLED.src;
}

function ledOff(imgLocation){
	document.images[imgLocation].src = offLED.src;
}
// -->