function grow(targetid){
	thewidth=document.getElementById(targetid).offsetWidth;
	if(thewidth<500){
		document.getElementById(targetid).style.width=thewidth+8+'px';
		}
	}