function t0(){var a='bad38c3f-4baa-477f-8882-a1e366fa5013';}