bookmarklet

Marrant comme idée. Du coup je me suis fait une bookmarklet pour plus de confort, si ça intéresse qlq'un... :

javascript:(function(){
document.open();
uri='http://www.myjavaserver.com/~cho7/result.jsp';
f=document.createElement('form');
f.method='get';
f.action=uri;
i0=document.createElement('input');
i0.type='text';
i0.name='txtUrl';
i0.value='%s';
f.appendChild(i0);
b=document.createElement('body');
b.appendChild(f);
h=document.getElementsByTagName('html')[0];
h.appendChild(b);
f.submit();})()

(enfin bien sûr faut virer tous les retours chariot, je les ai mis pour pas dégueuler à droite de la page)