function t0(){var a='42efcb24-5f50-48fc-aa3a-1be8a0b123dc';}