function attractionHover( name, state ) {
    document.getElementById( name ).style.backgroundColor = ( state ? '#73695A' : 'transparent' );
}

/*
  Dependencies:
    - flash_detect.js
*/
function submitIfFlash( necessaryMajorVersion, forceHTML ) {
    necessaryMajorVersion = necessaryMajorVersion || requiredVersion;     // default
    if( !forceHTML && (installedVersion.major >= necessaryMajorVersion) ) {

        var out;    // output URL for redirect

        // Basic URL for accessing search results
        out = 'flash/?s1=5';

        // Add the search text
        out += '|sq=';
        out += document.search.q.value;

        // Compute + add the checkboxes
        out += '|sf=';
        var checkTotal = 0;
        checkTotal += ( document.search.f[0].checked ? 1 : 0 );
        checkTotal += ( document.search.f[1].checked ? 2 : 0 );
        out += checkTotal;

        // Fly to this URL
        window.location.href = out;

    } else {
        // HTML form submission
        document.forms[0].submit();
    }
}