(stdin)= efca033cd86578ca5899ab626cee988d