let navigator_id () = JSOO.eval "navigator.appName"