I believe it is there to stop the javascript from running when the page is unloaded... It is being pulled up by onunload="stop()" in the body tag!

__________________
Doing what you like is freedom, liking what you do is happiness.

Some things cannot be heard or touched, but are felt within your heart.