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