typing result 2020