// Delay processing for x milliseconds, useful for some firefox/javascript rendering bugs

function pausecomp(millis)
{
var date = new Date();
var curDate = null;

do { curDate = new Date(); }
while(curDate-date < millis);
}