// this function supports page caching in Safari
(function(a){
	if (window.addEventListener)
		window.addEventListener("unload",a,false);
	else if (window.attachEvent)
		window.attachEvent("onunload",a);
})(new Function(""));