$$で取得するプロセスIDはどんな環境でも最大4桁までですか?