// ==================================================
// js/panel.js
// last update: 2009-09-03 11:10:32 daiki
// ==================================================

function el(e) { return document.getElementById(e); }

function panelOn(num){
    el('panel' + num).style.backgroundColor = "#ffa";
}

function panelOff(num){
    el('panel' + num).style.backgroundColor = "#ddf";
}