window.onload = boot;

function boot() {
	
}

function displayDownloadSubmenu(show) {
	var submenu = document.getElementById("submenuTd");
	if (!show)
		submenu.innerHTML = "";
	else
		submenu.innerHTML = "";
}