[Include1]

How do I set it up
I should set it define or new?

PHP код:

    if(mysql_ping()) print("MySQL: connection is still alive!");
    if(!mysql_ping()) print("MySQL: connection is dead!"); 


PHP код:

error 017: undefined symbol "mysql_ping" 


sorry my English Bad
tx for helpers