71 	// End of toolbar

    71 	// End of toolbar

    72 	toolbar += tail.run();

    72 	toolbar += tail.run();

    73 	

    73 	

    74 	var wrapperdiv = document.createElement('div');

    74 	var wrapperdiv = document.createElement('div');

    75 	wrapperdiv.innerHTML = toolbar;

    75 	wrapperdiv.innerHTML = toolbar;

    76 	ta_wrapper.appendChild(wrapperdiv);

    77 	ta_wrapper.appendChild(wrapperdiv);

    77 }

    78 }

    78 

    79 

    79 function guied_act(action)

    80 function guied_act(action)

    80 {

    81 {