Whoops, that should be a 2000.  But I made this a public attribute so someone using the scene mode picker widget could change the duration, if desired.  We do the same kind of thing for the home button.