The difftime() function