Table sorting by JavaScript from here.