/*********************************************************************
 * $Revision: 1.2 $
 * $Date: 2002/11/18 22:56:19 $
 *
 * (c) 2001 iguana-farm.com All Rights Reserved
 *********************************************************************/



// Check whether string s is empty.

var whitespace = " \t\n\r";

function isEmpty(s)
{   return ((s == null) || (s.length == 0))
}



// Returns true if string s is empty or 
// whitespace characters only.

function isWhitespace (s)

{   var i;

    // Is s empty?
    if (isEmpty(s)) return true;

    // Search through string's characters one by one
    // until we find a non-whitespace character.
    // When we do, return false; if we don't, return true.

    for (i = 0; i < s.length; i++)
    {   
        // Check that current character isn't whitespace.
        var c = s.charAt(i);

        if (whitespace.indexOf(c) == -1) return false;
    }

    // All characters are whitespace.
    return true;
}

function isEmail (s)
{
   if (isEmpty(s)) return false;
   if (isWhitespace(s)) return false;

    var i = 1;
    var sLength = s.length;

    // look for @
    while ((i < sLength) && (s.charAt(i) != "@"))
	    {
		i++
    	}

    if ((i >= sLength) || (s.charAt(i) != "@")) return false;
    else i += 2;

    // look for .
    while ((i < sLength) && (s.charAt(i) != "."))
	    {
		i++
	    }

    // there must be at least one character after the .
    if ((i >= sLength - 1) || (s.charAt(i) != ".")) return false;
    else return true;
}


  //
 // left nav mouseover images
// 
    image1 = new Image();
    image1.src = "images/nav_about_on.gif";
	
	image2 = new Image();
    image2.src = "images/nav_finance_on.gif";
	
	image3 = new Image();
    image3.src = "images/nav_references_on.gif";
	
	image4 = new Image();
    image4.src = "images/nav_inventory_on.gif";
	
	image5 = new Image();
    image5.src = "images/nav_buying_on.gif";
	
	image6 = new Image();
    image6.src = "images/nav_transportation_on.gif";
	
	image7 = new Image();
    image7.src = "images/nav_rentals_on.gif";
	
	image8 = new Image();
    image8.src = "images/nav_contact_on.gif";


  
	
	// End -->