

function disable_pos ( param ) {
  var parts=document.getElementsByName('ps') ;
  for( var i=0 ; i < parts.length ; i++ ) {
    if ( param==1 ) { parts[i].disabled=true ; }
    if ( param==0 ) { parts[i].disabled=false ; }
  }
}


