do-while loop in php