Thanks for the link (thus saving me from confirming my memory) listing the CSS. Now, I just need to create a program which would give me the number given a user name, optionally outputting the selectors.