var $time = Date.now || function(){ return new Date().getTime(); }; 
if (Client.Engine.trident4) $try(function(){ doc.execCommand("BackgroundImageCache", false, true); }); 
var $time = Date.now || function(){	return new Date().getTime();};
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/00f597dc2de0eba5dbdd914c8db4f94bfee00d2a/Core.js/buggy/Source/Core/Core.js