let disable_selection () =
    JSOO.eval "document.onmousedown = function() {return false;}"