Well, I can't put ms, so this is just 9:31.767 rounded to the nearest thousandths.