Oh, but the javascript probably cares a lot about the exact character doesn't it?