// $Id$
jQuery(window).unload(function()
{
	GUnload();
});