// JavaScript Document
// Used to patch the issue that some applets do not display properly on first
// loading with JRE 1.6.  Effectively the applet is hiddeen and then revealed,
// forcing a reload of the applet image


function appletRefresh() {

// This makes the div holding the applet invisible

	var applet=document.getElementsByTagName("applet");
	
	var i=0;
	while (i<applet.length){ 
	    applet[i].style.visibility="hidden";
		i=i+1;
    }

    // Without the following pause, the javascript does not have the intended
    // effect of first hiding and then revealing the div container for the
    // applet
    window.setTimeout(appletReveal,100);
	appletReveal;
}

function appletReveal() {

// This makes the div holding the applet visible

	var applet=document.getElementsByTagName("applet");
	
	i=0;
	while (i<applet.length){ 
	    applet[i].style.visibility="visible";
		i=i+1;
	}
}