I see what you say... well, you mean the init() that goes into the body tag?
Well, I prefer not to use that, since the user has to do extra effort to install the script. I prefer him to copy and paste. That's it...
But generally talking, I don't see that for the user there is a practical difference some extra numbers. I say, what can the difference be between my_var and my_var435671 for the person... some few bytes?
It is miliseconds or less for the computer to generate!!!
Let me know what you think?