// WTShop JavaScript

function addproduct(id) {
	var aantal = "aantal_"+id;
	var number = document.getElementById(aantal).value;
	location.href = "wtshopadd.php?prid="+id+"&aantal="+number;
}
function MM_jumpMenu(targ,selObj,prid){ //v3.0
	eval(targ+".location='wtshopupd.php?prid="+prid+"&numb="+selObj.options[selObj.selectedIndex].value+"'");
}