Redis script for mapping external ID's to sequential ones.