//
//  This JavaScript defines a number of images for implementing the "flashing" effect.
//  Flashing is done by a function called "hiLite" as shown belown.
//
// test browser for compatibility
// browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
//if (browserName == "Netscape" && browserVer >= 3) version = "1";
if (browserVer >= 3) version = "1";

else version = "2";
//preload images:
if (version == "1") {

centerDefault = new Image(262,122);
centerDefault.src ="center_default.gif";

center_left01 = new Image(393,122);
center_left01.src ="center_relays.jpg";

center_left02 = new Image(393,122);
center_left02.src ="center_switches.jpg";

center_left03 = new Image(393,122);
center_left03.src ="center_timers.jpg";

center_left04 = new Image(393,122);
center_left04.src ="center_counters.jpg";

center_left05 = new Image(393,122);
center_left05.src ="center_sps.jpg";

center_left06 = new Image(393,122);
center_left06.src ="center_tc.jpg";

center_left07 = new Image(393,122);
center_left07.src ="center_isp.jpg";

center_left08 = new Image(393,122);
center_left08.src ="center_lc.jpg";

center_left09 = new Image(393,122);
center_left09.src ="center_sensors.jpg";

center_right01 = new Image(393,122);
center_right01.src ="center_plc.jpg";

center_right02 = new Image(393,122);
center_right02.src ="center_terminals.jpg";

center_right03 = new Image(393,122);
center_right03.src ="center_fbs.jpg";

center_right04 = new Image(393,122);
center_right04.src ="center_inverters.jpg";

center_right05 = new Image(393,122);
center_right05.src ="center_smd.jpg";

center_right06 = new Image(393,122);
center_right06.src ="center_cp.jpg";

center_right07 = new Image(393,122);
center_right07.src ="center_iows.jpg";

center_right08 = new Image(393,122);
center_right08.src ="center_sw.jpg";

center_right09 = new Image(393,122);
center_right09.src ="center_rfid.jpg";

center_right10 = new Image(393,122);
center_right10.src ="center_mvs.jpg";

center_right11 = new Image(393,122);
center_right11.src ="center_pcbis.jpg";
}

function switchHeader(imgDocID,imgObjName) {
if (version == "1") {
document.images[imgDocID].src = eval(imgObjName + ".src")
}
}