function instock()
  {
  pricediv = document.getElementById('ProductPrice');
  if (pricediv)
    pricediv.innerHTML = pricediv.innerHTML + '<font size=1 color=#A0A0A0>' + '9 op voorraad ' + '</font>';
  }
  //window.onload = instock;