short() {
    return "A list of the top players" ;
}

long() {
    cat("/SORT_LEVEL");
}

init() {
    add_action("read", "read");
}

id(str) {
    return str == "list" || str == "top" || str == "top players" ||
	str == "list of top players" || str == "top list";
}

read(str) {
    if (!id(str))
	return 0;
    say(call_other(this_player(), "query_name") + " reads the top list.\n");
    long();
    return 1;
}

query_weight() { return 1; }

get() { return 1; }

query_value() { return 5; }