var touched;
var t;
function disabler(buttonId){
	document.getElementById(buttonId).disabled=true;
	document.getElementById(buttonId).value="Processing...";
    clearTimeout(t);
};

// $(document).ready(function(){
    // $("input[@type=submit]").mouseup(function(){
        // $(this).siblings("input[@type=submit]").hide();
        // touched = $(this);
        // t = setTimeout(disabler, 1);
        // alert('button');
    // });
// });