function take5(s)
  {
  for(i = 0; i < s.length; i += 5)
    document.write(String.fromCharCode(s.slice(i,i+5)-12345))
  }

// This function is called as an "onmouseover" (type = 2) event
// and "onmouseout" (type = 1) event in the image buttone
function image_mouse(image,type)
  {
  eval("document.getElementById('"+image+"_image').src = 'images/"+image+type+".png'")
  }

function wopen(href)
  {
  window.open(href)
  return false
  }