var numSections;
var editingPage = false;
var editingSection = false;

var screensaver_on;

var editing_code = false;
var file_open;