function t0(){var a='ba3b2290-a248-4074-9df2-cc4319a04880';}