';
$pubkeyfile = '../tmp/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 'i2p';
echo 'tor';
echo '';
echo '';
?>