function popup(mylink, width, height) {
window.open(mylink, null, 'width='+width+',height='+height+',scrollbars=no');
return false;
}
function MM_showHideLayers() { //v6.0
  var i,p,v,obj,args=MM_showHideLayers.arguments;
  for (i=0; i<(args.length-2); i+=3) if ((obj=MM_findObj(args[i]))!=null) { v=args[i+2];
    if (obj.style) { obj=obj.style; v=(v=='show')?'visible':(v=='hide')?'hidden':v; }
    obj.visibility=v; }
}

var months = new Array();
months[0] = 'January';
months[1] = 'February';
months[2] = 'March';
months[3] = 'April';
months[4] = 'May';
months[5] = 'June';
months[6] = 'July';
months[7] = 'August';
months[8] = 'September';
months[9] = 'October';
months[10]= 'November';
months[11]= 'December';
			          
function displayDate(timeInMillis) {
	var date = new Date(timeInMillis);
	
	document.write(months[date.getMonth()]);
	document.write(' ');
	document.write(date.getDate());
	document.write(', ');
	if(date.getYear() < 1990)
		document.write(date.getYear()+1900);
	else
		document.write(date.getYear());
}
function displayDateShort(timeInMillis) {
	var date = new Date(timeInMillis);
	
	document.write(date.getMonth()+1);
	document.write('/');
	document.write(date.getDate());
	document.write('/');
	document.write(date.getFullYear());
}
function displayDateTime(timeInMillis) {
	var date = new Date(timeInMillis);
	
	document.write(months[date.getMonth()]);
	document.write(' ');
	document.write(date.getDate());
	document.write(', ');
	if(date.getYear() < 1990)
		document.write(date.getYear()+1900);
	else
		document.write(date.getYear());
	document.write(' - ');
	if(date.getHours() > 12)
		document.write(date.getHours()-12);
	else if(date.getHours() < 1)
		document.write('12');
	else
		document.write(date.getHours());
	document.write(':');
	if(date.getMinutes() < 10)
		document.write('0');
	document.write(date.getMinutes());
	if(date.getHours() > 12)
		document.write('pm');
	else
		document.write('am');
}
function displayDateTimeShort(timeInMillis) {
	var date = new Date(timeInMillis);
	
	document.write(date.getMonth()+1);
	document.write('/');
	document.write(date.getDate());
	document.write('/');
	document.write(date.getFullYear());
	document.write('<br>');
	if(date.getHours() > 12)
		document.write(date.getHours()-12);
	else if(date.getHours() < 1)
		document.write('12');
	else
		document.write(date.getHours());
	document.write(':');
	if(date.getMinutes() < 10)
		document.write('0');
	document.write(date.getMinutes());
	if(date.getHours() > 12)
		document.write('pm');
	else
		document.write('am');
}
function displayCurrentDateShort() {
	var date = new Date();
	
	document.write(date.getMonth()+1);
	document.write('/');
	document.write(date.getDate());
	document.write('/');
	document.write(date.getFullYear());
}