nyolc mérföld – egy magyar mérföld = 8353,6 méter. (Más források szerint 7586 méter.) Így számolva már megközelítőleg pontos Oláh Miklós adata.