$y = ssub($x, "HELLO",    "12345")
