derselbe Effekt tritt auch auf mit diesem vereinfachten Link:
<a href="#x2" onmousedown='document.getElementById("px3600").style.marginLeft = "-600px";ist_px="-600";window.onmousedown=""'>
Einmal wird href="#x2" wie gewünscht ignoriert und beim Link im Seitenkopf zusätzlich ausgeführt.