void main(void)
{
 debugopen("$.Fax.true");
}