Каковы фактические временные стоимости мс для animTime констант Android?

Android включает

config_longAnimTime
config_mediumAnimTime
config_shortAnimTime

но фактические значения, определенные этими константами, не имеют смысла как миллисекунд. Я уверен, что они компилируются в полезные значения, и я могу определить их с кодом, но я уверен, что кто-то еще знает ответ - и, главное, я уверен, что другие люди будут искать их. Поэтому отправьте фактические значения как ответ и сохраните всех определенное время.