<!--
function isGecko() {

    return ( navigator.userAgent.toLowerCase().indexOf( "gecko" ) > -1 );
}
function isFirefox() {
    // camino uses "(like Firefox/n.n..n)" in its useragent string
    return ( ( navigator.userAgent.toLowerCase().indexOf( "firefox" ) > -1 ) && isGecko() && !isCamino() );
}
function isSafari() {

    return ( navigator.userAgent.toLowerCase().indexOf( "applewebkit" ) > -1 );
}
function isCamino() {

    return ( navigator.userAgent.toLowerCase().indexOf( "camino" ) > -1 );
}
function isOsx() {

    return ( navigator.userAgent.toLowerCase().indexOf( "mac os x" ) > -1 );
}
function isLinux() {

    return ( navigator.userAgent.toLowerCase().indexOf( "linux" ) > -1 );
}
// -->