void main( string str ) { write( "HP[" + this_player()->query_hp() + "/" + this_player()->query_max_hp() + "]" ); }