var scroll_position = 0;
var ww = 120;
function width_up(){
	setTimeout(function(){
		ww+=4;
		document.getElementById('search-field').style.width = ww + 'px';
		if (ww < 240) setTimeout(arguments.callee, 0);
	},0);
}
function width_dwn(){
	setTimeout(function(){
		ww-=4;
		document.getElementById('search-field').style.width = ww + 'px';
		if (ww > 120) setTimeout(arguments.callee, 0);
	},0);
}