whoops according to http://jsperf.com/getelementbyid-vs-jquery-id/44 it looks like the jQuery $ selector is more than 14 times slower than getElementById... Going back to the 15 years old version!