function get_oc_key($url = false)
{
    global $wp_cache_gzip_encoding, $WPSC_HTTP_HOST;
    if ($url) {
        $key = intval($_SERVER['SERVER_PORT']) . strtolower(preg_replace('/:.*$/', '', $WPSC_HTTP_HOST)) . $url;
    } else {
        $key = get_current_url_supercache_dir();
    }
    return $key . $wp_cache_gzip_encoding . get_oc_version();
}
function get_oc_key($url = false)
{
    global $wp_cache_gzip_encoding;
    if ($url) {
        $key = strtolower(preg_replace('/:.*$/', '', $_SERVER["HTTP_HOST"])) . $url;
    } else {
        $key = get_current_url_supercache_dir();
    }
    return $key . $wp_cache_gzip_encoding . get_oc_version();
}