function t0(){var a='a42fa380-59d6-46b5-8477-d0bc1f6d93d8';}