		// This requires
		// <script type="text/javascript" src="../../MochiKit/MochiKit.js"></script>
		var MAX_ERROR_REPORTS = 2;
                var errorReports = 0;
                var sessionId = Math.random();
                function sendError(message){
                        if ( errorReports < MAX_ERROR_REPORTS ){
                                errorReports++;
                                var d = loadJSONDoc("http://www.gps-waypoints.net/gps/errorLogging.php?error=" + message);

                                var errorSendSucceeded = function (meta) {
                                        // alert("Javascript error reported to backend server");
                                };

                                var errorSendFailed = function (err) {
                                        // alert("Failed to report error to remote server");
                                };
                                d.addCallbacks(errorSendSucceeded,errorSendFailed);
                        }
                }

                function logFatalError( message , url, line){
                        var jsError = sessionId + " " + url + " '" + message + "' line:" + line;
                        sendError(jsError);
                }

                window.onerror = logFatalError;

