[=WoR=G4M3Ov3r]

PHP Code:

main()
{
    new
        sOriginal[256],
        sNewString[256]
 
    strins(sOriginal, "$$$", 0);
 
    sNewString = str_replace("$$$", "$1234", sOriginal)
 
    printf("New str:  %s", sNewString)
}