php fun with numbers