function toggle_element(id, state) {
	var e = document.getElementById(id);
	var s = e.style;
	s.display = state;
}

var clicked = false;
function follow_link_safely(url) {
    if(!clicked) { 
        clicked = true;
		if(url.match(/\?/)) {
	        location.href = url + '&token=' + Math.floor(Math.random()*10000000);
		} else {
	        location.href = url + '?token=' + Math.floor(Math.random()*10000000);
		}
    }
}

$('document').ready(function() {
        if(window._orig_windowSetTimeout !== undefined) { window.setTimeout = _orig_windowSetTimeout; }
        if(window._orig_windowSetInterval !== undefined) { window.setInterval = _orig_windowSetInterval; }
});