now the php thing works