\n"); if (strstr($HTTP_SERVER_VARS['HTTP_ACCEPT_ENCODING'], 'gzip')) { echo ''; ob_end_flush(); // Output the uncompressed HTML } else { echo ''; } ?>