int($a*1000)/1000