/*open a small window for text*/
function OpenWindow(URL,Winwidth,Winheight){
//Winheight = "500"
day = new Date();
id = day.getTime();
var windowprops = "toolbar=0,location=0,directories=0,status=0, " +"menubar=0,scrollbars=1,resizable=1,width=" + Winwidth + ",height=" +Winheight+ ",left=40,top=10";
eval("page" + id + " = window.open(URL, '" + id + "', windowprops);");
}
function navypop()
{
var generator=window.open('','name','height=200,width=500');
generator.document.write('U.S. Navy Time');
generator.document.write('');
generator.document.write('');
generator.document.write('
The time displayed below is the current U.S. Navy Time. Please refresh it to view up to date time.