function write_counter(wait_image_name)
	{
		return false;
	}
	function update_count()
	{
		return false;
	}
function gross_counter_enabled(){
	return ;
}