/*  General javascript functions */
function disable_button(button)
{
	  setTimeout(function () {button.disabled=true},1)
}