// JavaScript Document
var WRInitTime=(new Date()).getTime();