function nl2br(text){
	return text.replace(/\n/g,"<br />");
}

function openPopupCredits(){
	window.open ("popup_credits.php", "Traces", "height=500, width=500, toolbar=no, menubar=no, scrollbars=yes, resizable=no, location=no, directories=no, status=no");
}

function pause(time)
{
   d=new Date();
   diff=0;
    while(diff < time)
    {
      n=new Date();
      diff=n-d;
     } 
}