// JavaScript Document
			disableSelection(document.body); //Disable text selection on entire body
			disableSelection(document.getElementById("top_buttons")); //Disable text selection on element with id="top_buttons"