extension="png";
if ((browser.isIE4x||browser.isIE5x)||(browser.isNS4x))
  extension="gif";

function init(){
  document ['gif1'].src='images\/logo_2.'+extension;
}