function hideextras() {extras.style.display = "none";}
function showextras() {extras.style.display = "";}