[yuhong]

And they can make the up/down arrows work in even older browsers by using document.images instead of document.getElementById.