# Pastebin AJHIAjNy let get_timer_value: (unit -> string) = [%raw fun () -> {j| var b = document.cookie.match('(^|;)\\s*mebe2-request-timer\\s*=\\s*([^;]+)'); return b ? b.pop() : ''; |j}] let render_timer_value: (string -> unit) = [%raw fun req_time -> {j| var tag = document.getElementById('request-timer'); tag.innerText = req_time; |j}] let set_timer_value () = let req_time = get_timer_value () in render_timer_value req_time