// this file is dynamically generated
function do_pm42665(){
  if(document.getElementById('div42665').style.display == 'none'){
    display_code('-','pm42665');
    document.getElementById('div42665').style.display = 'block';
    document.getElementById('td42665').style.height = '1px';
  }else {
    display_code('+','pm42665');
    document.getElementById('div42665').style.display = 'none';
    document.getElementById('td42665').style.height = '0px';
  }
}
