function scroll(){

if ( document.getElementById("presentation")) {
 document.getElementById("contents").style.overflow="hidden";
}
else{
 document.getElementById("contents").style.overflow="auto";
}
}