おそらく$PORTAL は0.28か0.255をダンプするだろう