/* tests whether to run the cross-fade slide show or display static images */

var agt = navigator.userAgent.toLowerCase();

if ((agt.indexOf('mac')!=-1) && (!(agt.indexOf('mobile')!=-1))) {
document.write('<P>To search this page, press <SPAN TITLE="Command-F"><IMG ALT="" SRC="images\/cloverleaf.gif" ALIGN="top" WIDTH="13" HEIGHT="19">-F<\/SPAN><\/P>');
} else if (!(agt.indexOf('mobile')!=-1)) {
document.write('<P>To search this page, press Ctrl-F<\/P>');
}