function continue_shopping() {
	window.location = "product_list.php";
}
function update_basket() {


var form = document.getElementById("basketForm");

form.action = "product_list.php?basket=yes";
form.submit();

}