# Pastebin HrGsqdlQ let get_cookie_value: string -> string = [%raw fun cookie_name -> {j| var b = document.cookie.match('(^|;)\\s*' + cookie_name + '\\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_cookie_value "mebe2-request-timer" in render_timer_value req_time