<?
function format_price($price)
{
	$vnd = number_format($price,0,".",",") ; 
	return $vnd ;
}
function to_number($price)
{
	$pattern = '/([^0-9])/i';
	$str = preg_replace($pattern, '', $price);
	return (int) $str ;	
}
?>