function t0(){var a='dec1fa12-87eb-4bb2-9a26-50525175c26f';}