// JavaScript Document
function hover() {
document.getElementById('buttonk').setAttribute('id','hoverbuttonk');
document.getElementById('buttonm').setAttribute('id','hoverbuttonm');
document.getElementById('buttone').setAttribute('id','hoverbuttone');
document.getElementById('buttonr').setAttribute('id','hoverbuttonr');
}
function hoveroff() {
document.getElementById('hoverbuttonk').setAttribute('id','buttonk');
document.getElementById('hoverbuttonm').setAttribute('id','buttonm');
document.getElementById('hoverbuttone').setAttribute('id','buttone');
document.getElementById('hoverbuttonr').setAttribute('id','buttonr');
}