var NS4 = 0;
if(navigator.appName.indexOf("Netscape") != -1) {
	if(parseInt(navigator.appVersion) == 4) {
	    NS4 = 1;
	}
}

if(NS4) {
	document.write("<input type='text' name='query' size='8'>");
} else document.write("<input type='text' name='query' size='13'>");