// JavaScript Document

function ext(x) {
add = x * 31;
total = 131+add;
document.getElementById('menu_ext').style.visibility = 'visible';
document.getElementById('menu_ext').style.paddingTop = total+'px';
}
function extout() {
total = 132+add;
document.getElementById('menu_ext').style.visibility = 'hidden';
document.getElementById('menu_ext').style.paddingTop = '132px';
}