useful function for php if needeed