function verifica_numero(value)
	{
	var ammessi = "0123456789";
	var c;
	for(i=0; i<value.length; i++)
		{
		c=value.charAt(i);
		if(ammessi.indexOf(c) == -1)
			{
			return false;
			}
		}
		return true;
	}

	
function verifica_shop()
	{
	if(shop.quantita.value == "")
		{
		alert("bisogna inserire una quantità");
		document.shop.quantita.focus();
		return false;
		}

	else if(shop.quantita.value == 0)
		{
		alert("bisogna inserire una quantità maggiore di zero");
		document.shop.quantita.focus();
		return false;
		}
	else if(!verifica_numero(shop.quantita.value))
		{
		alert("il formato della quantità non è valido");
		document.shop.quantita.focus();
		return false;
		}
	
	return true;
	}