function div460() { 
document.getElementById('menu').style.width  = '460px';
} 
function div260() { 
document.getElementById('menu').style.width  = '257px';
}