20 , 000vaidenser ; 17 , 0 (0