» många gånger sju tusen »!