<!--
function changeBackGroundColor(x) {
document.getElementById('body').style.backgroundColor=x;
}
//-->