What were your reasons for not using jQuery? Not that everyone has to use it, but it seems your refresh.js script could have been reduced a fair amount using library functions. Just wondering if there was a specific reason you don't use it.