& mi3000000000000000<