'; $pubkeyfile = getcwd().'/../tmp/pubkey.txt'; if(is_file($pubkeyfile) && (isset($CONFIG['site_shortname']) && $CONFIG['site_shortname'] != '')) { echo ''; echo ''.$CONFIG[site_shortname].''; echo '
'; echo '
'; } echo ''; echo 'rocksolid light '.$rslight_version; echo '
'; echo 'clearnet'; echo 'i2p'; echo 'tor'; echo '
'; echo ''; ?>