10001 : 24 .)