while(<>){
	if ($_ =~ /(<AREA SHAPE="rect" COORDS=")([\d,]+)(".*)/){
		@coords= split(",",$2);
		for($i=0; $i<=$#coords; $i++){
			$coords[$i] = int(0.8*$coords[$i]);
		}
		print $1.join(",",@coords).$3."\n";
	}else{
		print $_;
	}
}
