20020712 unknown: Iran deploys additional forces on border with Pak