LaForge

I had a question about the Toptimes in Race gamemode.. So I saw a server which had a script to rename the Toptimes in a map, but I can't it anywhere.. Can anyone help me getting/making this script as I really need it. Thanks in advance