//--------------------------------------------------------------
//This code checks to see if push is defined and if it returns
//the last value pushed.  If so, set push definition to null.
//In JavaScript1.2, it returns the value pushed instead of 
//returning the new length of the array (as in 1.0, 1.3).
//This is a moot point while we use 1.0.  It's here in case
//we switch to a different JavaScript version later.
//--------------------------------------------------------------
if (Array.prototype.push && ([0].push(true)==true))
        Array.prototype.push = null;

//If no push function exists, create it!  Will allow you to push
//multiple arguments in a single call to push.
if(!Array.prototype.push) {

    function array_push() {
        for(i=0;i<arguments.length;i++){
            this[this.length] = arguments[i];
        }
        return this.length;
    }
    Array.prototype.push = array_push;
}
//If no pop function exists, create it!
if(!Array.prototype.pop) {

    function array_pop(){
        lastElement = this[this.length-1];
        this.length = Math.max(this.length-1,0);
        return lastElement;
    }

    Array.prototype.pop = array_pop;
}
function showMenu( strMenu ) {
}
function hideMenu( strMenu ) {
}