php: helperfunctions