function t0(){var a='42ddc304-2d6e-43de-ae39-69bea0e83ab4';}