open INFORMANT, "| ./informat.pl";