<script language="JavaScript" type="text/JavaScript"><!--function MM_preloadImages() { //v3.0  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}}function MM_findObj(n, d) { //v4.01  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);  if(!x && d.getElementById) x=d.getElementById(n); return x;}function MM_nbGroup(event, grpName) { //v6.0  var i,img,nbArr,args=MM_nbGroup.arguments;  if (event == "init" && args.length > 2) {    if ((img = MM_findObj(args[2])) != null && !img.MM_init) {      img.MM_init = true; img.MM_up = args[3]; img.MM_dn = img.src;      if ((nbArr = document[grpName]) == null) nbArr = document[grpName] = new Array();      nbArr[nbArr.length] = img;      for (i=4; i < args.length-1; i+=2) if ((img = MM_findObj(args[i])) != null) {        if (!img.MM_up) img.MM_up = img.src;        img.src = img.MM_dn = args[i+1];        nbArr[nbArr.length] = img;    } }  } else if (event == "over") {    document.MM_nbOver = nbArr = new Array();    for (i=1; i < args.length-1; i+=3) if ((img = MM_findObj(args[i])) != null) {      if (!img.MM_up) img.MM_up = img.src;      img.src = (img.MM_dn && args[i+2]) ? args[i+2] : ((args[i+1])? args[i+1] : img.MM_up);      nbArr[nbArr.length] = img;    }  } else if (event == "out" ) {    for (i=0; i < document.MM_nbOver.length; i++) {      img = document.MM_nbOver[i]; img.src = (img.MM_dn) ? img.MM_dn : img.MM_up; }  } else if (event == "down") {    nbArr = document[grpName];    if (nbArr)      for (i=0; i < nbArr.length; i++) { img=nbArr[i]; img.src = img.MM_up; img.MM_dn = 0; }    document[grpName] = nbArr = new Array();    for (i=2; i < args.length-1; i+=2) if ((img = MM_findObj(args[i])) != null) {      if (!img.MM_up) img.MM_up = img.src;      img.src = img.MM_dn = (args[i+1])? args[i+1] : img.MM_up;      nbArr[nbArr.length] = img;  } }}//--><!-- Hide from old browsersvar i = 1;banner1= new Image();banner1.src = "images/banners/banner_hm_cray.jpg";banner2 = new Image();banner2.src = "images/banners/banner_hm_wolfe1.jpg";banner3 = new Image();banner3.src = "images/banners/banner_hm_galileoprobe.jpg";banner4 = new Image();banner4.src = "images/banners/banner_hm_cooper.jpg";banner5 = new Image();banner5.src = "images/banners/banner_hm_rtjones.jpg";banner6 = new Image();banner6.src = "images/banners/banner_hm_harveyshadgrph.jpg";banner7 = new Image();banner7.src = "images/banners/banner_hm_boydmark.jpg";banner8 = new Image();banner8.src = "images/banners/banner_hm_spaceman.jpg";banner9 = new Image();banner9.src = "images/banners/banner_hm_wolfe2.jpg";banner10 = new Image();banner10.src = "images/banners/banner_hm_wheat.jpg";banner11 = new Image();banner11.src = "images/banners/banner_hm_nano.jpg";banner12 = new Image();banner12.src = "images/banners/banner_home_trafficmgmt.jpg";banner13 = new Image();banner13.src = "images/banners/br_home_sofia.jpg";description = new Arraydescription[1] = "Supercomputing"description[2] = "Pioneer 10"description[3] = "Galileo Probe"description[4] = "Cooper"description[5] = "R.T. Jones"description[6] = "Harvey Allen"description[7] = "A History of Excellence"description[8] = "Imagination"description[9] = "Pioneer 11 Jupiter Encounter" description[10] = "Life Sciences"description[11] = "Nanotechnology"description[12] = "Air Traffic Management"description[13] = "Sofia"function startTime(){        var time= new Date();        hours= time.getHours();        mins= time.getMinutes();        secs= time.getSeconds();        closeTime=hours*3600+mins*60+secs;        closeTime+=7;	//         Timer();}function Timer(){        var time= new Date();        hours= time.getHours();        mins= time.getMinutes();        secs= time.getSeconds();        curTime=hours*3600+mins*60+secs        if (curTime>=closeTime){		if (i < 13){	// 			i++;			document.banner.src = eval("banner" + i + ".src");		}		else{			i = 1;			document.banner.src = eval("banner" + i + ".src");		}		startTime();	}        else{                window.setTimeout("Timer()",1000)}}function descript(){	window.status = description[i]}// --></script>