$(document).ready(function(){
	if ($.browser.safari && document.getElementById("s")) {
		var s = document.getElementById("s");
		s.type = "search";
		$("#s").attr({
			results: "10",
			autosave: "dusted"
		});
	}
});