8 seconds, using cable-dsl from the Netherlands.
It might also be a DNS-issue. What you could do is add a
PHP-timing/loader script and write it to a log (most likely per day) and monitor it.
That way you will know if it is a server issue or some kind of DNS issue.