It's the zip code of the Berlin office :) but yes essential random. I tried to avoid the common 8xxx ports