/*
 * $Id: timestamp.js,v 1.2 2008/05/30 18:43:28 mripplin Exp $
 *
 * +------+   Copyright 2008, ICx Transportation Group
 * | ICx  |                   All Rights Reserved
 * +------+----------------------------------------------------------
 * This file is property of ICx Transportation Group.  Any unauthorized use or
 * duplication of this file, or removal of the header, constitutes
 * theft of intellectual property.
 *
 * Include this file to print a "last refreshed" timestamp.
 * This is implemented in JavaScript so that it prints the local, client-side time.
 */

document.write("Last refreshed: " + timestring(new Date()));