// JavaScript Document

var WRInitTime=(new Date()).getTime();