extras/HTMLView: Fixed 64 bit issue with ids