// Show java buttons

  function showJava(){

    if(nojava){
      nojava = document.getElementsByName('nojava');
    }else{
	     var nojava = document.getElementsByName('nojava');
	   }

	   if(usejava){
	     usejava = document.getElementsByName('usejava');
	   }else{
	     var usejava = document.getElementsByName('usejava');
	   }

	   if(x){
	     x = 0;
	   }else{
	     var x = 0;
	   }

	  if(nojava){

	    for(x = 0; x< nojava.length; x++){
	      nojava[x].style.display="none";
	    }
	  }

	  if(usejava){

	    for(x = 0; x< usejava.length; x++){
	      usejava[x].style.display="block";
	    }
	  }

  }