';
$pubkeyfile = '../pubkey/server_pubkey.txt';
if(is_file($pubkeyfile)) {
echo '';
echo 'server_pubkey.txt';
echo '
';
echo '';
}
echo '';
echo '
';
echo 'rocksolid light '.$rslight_version;
echo '
';
echo 'clearnet';
echo ' ';
echo 'tor';
echo '';
echo '';
?>