file_put_contents("php://stderr","Hello World!\n");