@player()

This function takes one string argument, the name of a player. It 
returns the dbref of that player as a numeric string. If no player 
has the specified name, it returns "-1".

Usage:
@player("jota")