if (document.images) {
var ban1 = new Image();
ban1.src="http://www.ultrasim.info/banner_sm.gif";
var ban2 = new Image();
ban2.src="http://www.ultrasim.info/banner_sm_red.gif";
}

function swap_banner(state) {
if (state) {
  document["ban"].src=ban1.src;
 } else {
  document["ban"].src=ban2.src;
 }
}

function enm()
{
   document.write("<a href=\"mailto:ultrasim@krellinst.org\">Contact<\/a>");
}