wp changes characters of bookmarklet in post

I want to show a link to a bookmarklet in a post, but wp changes some characters in it:
I have this simple function:

for(i=2; i>0; i--){
	alert("test");
}

which looks like this in a normal bookmarklet:
this is a <a href='javascript:(function(){for(i=2;i>0;i--){alert("test");}})()'>bookmarklet</a> (I hope)

however, wp renders it like this:
this is a <a href='javascript:(function(){for(i=2;i>0;i–){alert(”test”);}})()’>bookmarklet</a> (I hope)

Why is this, and how can I fix this?