int($tmp)