I assume that this crazy id policy is something required by the jQuery UI tabs plugin?