sample PHP code