function portalimg(x)
{
  x = 0 - (x * 690);
  o = document.getElementById('portal');
  o.style.backgroundPosition = '0px ' + x.toString() + 'px';
  this.title='y='+x.toString();
}