formatting as php