SERVERTIME{"format"} -- formatted server time