function set_add_cart_value(value)
{
  document.getElementById('add_to_cart_value').value = value;

}

function updateForm()
{
  document.getElementById('submitForm').value="updateBasket";
  document.basket_form.submit();
}