$ wget https://dl.dropboxusercontent.com/u/64707444/monks/monks.zip
--2015-10-29 15:29:58--  https://dl.dropboxusercontent.com/u/64707444/monks/monks.zip
Resolving dl.dropboxusercontent.com (dl.dropboxusercontent.com)... 199.47.217.101
Connecting to dl.dropboxusercontent.com (dl.dropboxusercontent.com)|199.47.217.101|:443... connected.
ERROR: The certificate of `dl.dropboxusercontent.com' is not trusted.
ERROR: The certificate of `dl.dropboxusercontent.com' hasn't got a known issuer.

##</code><code>##

push( @original, $rightside );

##</code><code>##

++$original{$rightside};

##</code><code>##

if ( $last =~ $_ ) {

##</code><code>##

if ($original{$last}) {