//<script>
function updatepris(p) {
  if (document.getElementById) {
   var spris = document.getElementById ("spris")
   spris.innerHTML = p
  }
}
function updatetype(p) {
  var w3c = document.getElementById 
  if (w3c) {
   var stempeltype = document.getElementById ("stempel_type")
   stempeltype.value = p
  }
}