// function to determine whether or not to inhibit the DHTML menu
function inhibitDHTMLMenu()
{
    var ua = navigator.userAgent.toLowerCase();

    // as we discover more browser/os combinations that don't support
    // the wmode=transparent property for flash content, add them
    // to the tests below.
    return (
	   // all versions of opera everywhere
	   ua.indexOf("opera") != -1 ||
	   // gecko-based browsers on X11 platforms
	   (ua.indexOf("gecko") != -1 && ua.indexOf("like gecko") == -1 && ua.indexOf("x11") != -1)
	   );
}

// function to write out a simple menu containing just the images with mouseover code for highlighting
function writePlainMenu()
{
    document.writeln(
"<div align=\"center\" class=\"main\">",
"<a href=\"/\"><img width=\"42\" height=\"41\" border=\"0\" src=\"images/menu_t1.png\" alt=\"Home\" onmouseover=\"this.src = \'images/menu_t1u.png\'\" onmouseout=\"this.src = \'images/menu_t1.png\'\"></a>",
"<a href=\"company.html\"><img width=\"64\" height=\"41\" border=\"0\" src=\"images/menu_t2.png\" alt=\"Company\" onmouseover=\"this.src = \'images/menu_t2u.png\'\" onmouseout=\"this.src = \'images/menu_t2.png\'\"></a>",
"<a href=\"products_services.html\"><img width=\"123\" height=\"41\" border=\"0\" src=\"images/menu_t3.png\" alt=\"Products & Services\" onmouseover=\"this.src = \'images/menu_t3u.png\'\" onmouseout=\"this.src = \'images/menu_t3.png\'\"></a>",
"<a href=\"target_markets.html\"><img width=\"92\" height=\"41\" border=\"0\" src=\"images/menu_t4.png\" alt=\"Solutions\" onmouseover=\"this.src = \'images/menu_t4u.png\'\" onmouseout=\"this.src = \'images/menu_t4.png\'\"></a>",
"<a href=\"technology.html\"><img width=\"116\" height=\"41\" border=\"0\" src=\"images/menu_t5.png\" alt=\"Technology\" onmouseover=\"this.src = \'images/menu_t5u.png\'\" onmouseout=\"this.src = \'images/menu_t5.png\'\"></a>",
"<a href=\"resources.html\"><img width=\"69\" height=\"41\" border=\"0\" src=\"images/menu_t6.png\" alt=\"Resources\" onmouseover=\"this.src = \'images/menu_t6u.png\'\" onmouseout=\"this.src = \'images/menu_t6.png\'\"></a>",
"</div>");
}

// global variable used to inhibit the DHTML menubar
var usePlainMenu = inhibitDHTMLMenu();