25% of 66.67% of 75% of the 80% of any number is 6417. Find the value of 40% of that number.