function submit_to_wishlist() {
	document.cart_quantity.submit_target.value = "wishlist";
	document.cart_quantity.submit();
}