function history(flag)
{
    var obj_on = document.getElementById('on');
    var obj_off = document.getElementById('off');
    if (flag) {
	obj_on.style.display = 'block';
	obj_off.style.display = 'none';
    } else {
	obj_on.style.display = 'none';
	obj_off.style.display = 'block';
    }
}