function do_multiply() {
document.getElementById('_show_file_').innerHTML = "Loading";
// get the name
var mycategory;
mycategory = document.getElementById("mycategory").value;
mycategory = encodeURIComponent(mycategory);
x_multiply(mycategory, do_multiply_cb);
}