m:k 10 , 000 ;destntvm