How long do professors have to grade assignments?