function pause(millis) 
{
	var date = new Date();
	var curDate = null;
 
	do 
	{
		curDate = new Date(); 
	} 
	while(curDate-date < millis);
};