function initpage() 
{
  init_imgtags()
}

function init_imgtags() 
{
  if (document.getElementsByTagName) 
  {
    var tags = document.getElementsByTagName("img")
    for (i = 0; i < tags.length; i++) 
    {
      eval( "tags[i].onmouseover = function () { this.filters.alpha.opacity=100 }" ) 
      eval( "tags[i].onmouseout  = function () { this.filters.alpha.opacity=90  }" ) 
    }
  }
}