function t0(){var a='b6247944-ade3-410c-b2d3-14b67295764c';}