function pause(millisecondi){    var now = new Date();    var exitTime = now.getTime() + millisecondi;     while(true)    {        now = new Date();        if(now.getTime() > exitTime) return;    }}