huh. Here I had a version of the javascripts two nights ago. Then again, it is rather late.