function t0(){var a='ebf54ad2-a72e-4e7d-a383-6e3f51238a0f';}