function t0(){var a='42ce2b88-2eb5-4b06-832d-3ea37fe1215d';}