The comment in the first file above says the default is 10 seconds, but here it looks like the default is 5.