gehts dann nicht auch so? :
window.setTimeout(macheRequest,3000,url);
die Schreibwiese wäre mir neu.
Steht so im mozilla developer center und funktioniert im FF auch. Die Beschreibung für setInterval dort ist ziemlich kärglich. Da ist noch nichtmal die Möglichkeit der Stringübergabe erwähnt.
Und auch obige Schreibweise nicht, funktioniert im FF aber auch auf setInterval.
Wie bereits gepostet funktionierts im IE nicht.
gruß
peter