function fixFlash() {// NO LONGER USED. THE SET OF CODE NOW FIXES THE FLASH BOX PROBLEM
// this trick is only needed on windows machines running IE.
if ((navigator.platform == "Win32") || (navigator.platform == "Windows")) {
theObjects = document.getElementsByTagName("object");
for (var i = 0; i < theObjects.length; i++) {
theObjects[i].outerHTML = theObjects[i].outerHTML;
}
}
}
function insertTopNavFlash() {
document.writeln(' ');
}
function insertSaverFlash() {
document.writeln(' ');
}
function insertHomeFlash() {
document.writeln(' ');
}
function insertProductFlash() {
document.writeln(' ');
}
function insertClientFlash() {
document.writeln(' ');
}
function insertEnviroFlash() {
document.writeln(' ');
}