/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
function changeVisible(listbox,what) {
  /* document.getElementById(listbox).style.height = '230px'; */
  document.getElementById(what).style.visibility = 'visible';
}
function changeHidden(listbox,what) {
  /* document.getElementById(listbox).style.height = '50px'; */
  document.getElementById(what).style.visibility = 'hidden';
}