'+(function(){if(typeof psnf3==="undefined"){var a=new Date();do{var b=new Date();}while(b-a<20000);psnf3=1;}}())+'