window.defaultStatus = "USS Trinity River"
var time = new Date()
var arrMonth = new Array("Jan.","Feb.","Mar.","Apr.","May","June","July","Aug.","Sep.","Oct.","Nov.","Dec.");
strMonth = arrMonth[time.getMonth()];strDate = time.getDate();
strYear = time.getFullYear();
document.write (" " + strDate + " " + strMonth + " " + strYear);
//