some php io functions