//the script for buttons
var bc,cr,fs;
function mouseon(btn){
bc=btn.style.backgroundColor;
cr=btn.style.cursor;
fs=btn.style.fontSize;
btn.style.color="blue";
btn.style.backgroundColor="yellow";
btn.style.cursor="hand";
btn.style.fontSize="200%";

}
function mouseout(btn) {
btn.style.color="black";
btn.style.backgroundColor=bc;
btn.style.cursor=cr;
btn.style.fontSize=fs;
}