<!-- Hide from non-Java browsers 

function startup() {
  SetImages();
}


// this function handles applying the URL selected from the drop down

function formHandler(form){
var URL = form.site.options[form.site.selectedIndex].value;
parent.location.href = URL;
}

function SetImages() {

<!-- hide this script from non-javascript-enabled browsers

  if (document.images) {
	Prod_F1 = new Image(85,35); Prod_F1.src = resides+"Prod.gif";
	Prod_F2 = new Image(85,35); Prod_F2.src = resides+"Prod_F2.gif";
	Supp_F1 = new Image(69,35); Supp_F1.src = resides+"Supp.gif";
	Supp_F2 = new Image(69,35); Supp_F2.src = resides+"Supp_F2.gif";
	Comp_F1 = new Image(80,35); Comp_F1.src = resides+"Comp.gif";
	Comp_F2 = new Image(80,35); Comp_F2.src = resides+"Comp_F2.gif";
	Down_F1 = new Image(83,35); Down_F1.src = resides+"Down.gif";
	Down_F2 = new Image(83,35); Down_F2.src = resides+"Down_F2.gif";
	order_F1 = new Image(60,35); order_F1.src = resides+"order.gif";
	order_F2 = new Image(60,35); order_F2.src = resides+"order_F2.gif";

  }
}
/* function that swaps images */

function di20(id, newSrc) {
    var theImage = FWFindImage(document, id, 0);
    if (theImage) {
        theImage.src = resides+newSrc;
    }
}


function FWFindImage(doc, name, j) {
    var theImage = false;
    if (doc.images) {
        theImage = doc.images[name];
    }
    if (theImage) {
        return theImage;
    }
    if (doc.layers) {
        for (j = 0; j < doc.layers.length; j++) {
            theImage = FWFindImage(doc.layers[j].document, name, 0);
            if (theImage) {
                return (theImage);
            }
        }
    }
    return (false);
}

/*******
 this function populates an array with marketing messages. They will be displayed in order
 by the show_regular() function when the mouse moves off the highlight. Add more messages 
 whenever you want. Set the top value of J in the show_regular function to match the number 
 of messages in the array.
****/
function marketing_messages(){
 mmessages = new Array();

 mmessages[0] = "The fastest way to build database applications-see Technical Overview.";
 mmessages[1] = "Highest programmer productivity possible- see the PV Bridge section.";
 mmessages[2] = "Build database applications the way you'd build a web site.";
 mmessages[3] = "Get started for as little as $99- see Ordering.";
 mmessages[4] = "Try us out - see Downloads and prove it to yourself.";
 mmessages[5] = "Have a question? See FAQ under Support.";
 mmessages[6] = "Talk to us - Leave a message for the Webmaster!";
 mmessages[7] = "Beautiful applications can be yours - see Examples under Overview.";
 mmessages[8] = "Don't get stuck in a tech rut - see the Future under Overview";

 
return true;
}


//--> end hide JavaScript