//--------------------------------------------------------------------------------------

//if(ntScp) java.lang.System.err.println( ": " +  + "" ); // SAVE

var cb = true;
var dHTML_IE4 = false;
var dHTML_DOM = false;
var dHTML = false;
var ver = "unknown";
var macOS = false;
var macIE = false;
var smTxt = false;
var ntScp = false;
var IE = false;
var NC4 = false;
var NC6 = false;


oldBrowserMsg = '';

var theAppVersion = navigator.appVersion;
var bName = navigator.appName;
var bVer = parseInt(theAppVersion);
var exactVer = parseFloat(navigator.appVersion);

if (bName == "Microsoft Internet Explorer") {
	var splitAppVersion = theAppVersion.split('MSIE');
	bVer = parseInt( splitAppVersion[1] );
	exactVer = parseFloat( splitAppVersion[1] );
	if(bVer >= 5) { ver = "e5"; dHTML_DOM = true; }
	else { ver = "e4"; dHTML_IE4 = true; }
	IE = true;
}

else if (bName == "Netscape") {
	var ntScp = true;
	if (bVer >= 5) { ver = "n6"; dHTML_DOM = true; NC6 = true; }
	else { ver = "n4"; NC4 = true; }
}

if( dHTML_IE4 || dHTML_DOM ) dHTML = true;

var winOS = ( navigator.platform.substring( 0, 3 ) == "Win" );
var bDoesTrans = ( ver == "e5" && winOS ) ? true : false;

if( theAppVersion.indexOf('Macintosh') > -1 ) macOS = true; //macOS = true; SAVE
if( macOS && theAppVersion.indexOf('MSIE') > -1 ) macIE = true; //macIE = true; SAVE
if( macOS && ( ver == "n4" || ver == "e4" ) ) smTxt = true; //smTxt = true; SAVE

function replaceLiteral( target, replacement ) {
	return this.split( target ).join( replacement );
}
String.prototype.replaceLiteral = replaceLiteral;


//--------------------------------------------------------------------------------------


var footFontSize = 1;
if( macOS ) footFontSize++;

var footer = "<FONT FACE='arial, helvetica' COLOR='#ffffff' SIZE='" + footFontSize + "'>";



var timeDisplay = '';
if( dHTML ) timeDisplay = 'Maui Time <SPAN ID="time">';

footer += timeDisplay + "</FONT><br>";



//---------------------------------------------------------------------------------------

function getHawaiiTime() {

	var gmtOffset = 10; // for Hawaii
	var now = new Date();
	var difhrs = now.getTimezoneOffset()/60;
	var lochrs = now.getHours();
	GMThours = (difhrs < 0) ? lochrs - difhrs : lochrs + difhrs;
	now.setHours( GMThours - gmtOffset );

	var am_pm = "AM";
	var hours = now.getHours();

	if( hours >= 12 ) am_pm = "PM";
	if( hours >= 13 ) hours -= 12;
	if( hours == 0 ) hours = "12";

	var minutes = now.getMinutes();
	if( minutes < 10 ) minutes = "0" + minutes;

	var seconds = now.getSeconds();
	if( seconds < 10 ) seconds = "0" + seconds;

	var mauiTime = "" + hours + ":"  + minutes + ":"  + seconds + " " + am_pm;

	return mauiTime;
}
//---------------------------------------------------------------------------------------

function showTime() {

	if( dHTML ) {

		var mauiTime = getHawaiiTime();
		var timeObj = null;

		if( dHTML_IE4 )	timeObj = eval( 'time' );
		else if( dHTML_DOM ) timeObj = document.getElementById( 'time' );

		if( typeof timeObj == 'object' ) timeObj.innerHTML = mauiTime;
	}
}