var theWidth=(MAC&&IE5)?25:(MAC&&IE4)?25:(MAC&&N4)?25:(N4)?20:25;
var aucsearch='<input name=textsearch size=' +theWidth+ ' type=text>';
document.write(aucsearch);