ns = (document.layers)? true:false;
        ns6 = (document.getElementById)? true:false;//ie5 compatible;


	function default_display(){
                document.the_form.the_select01.selectedIndex=0;
                document.the_form.the_select02.selectedIndex=0;
	}

	function select_file01(){
	        var s01=document.the_form.the_select01.selectedIndex ;
                var s02=document.the_form.the_select02.selectedIndex ;
                
                if ( s01==s02 ) { location.href="0_0.php"; }
                
                
        }