string *history; create() { history = ({ }); } void finger_history(string name) { string file = "/players/"+name[0..0]+"/"+name+".o"; if(!this_player(1)->query_lord()) return ; restore_object(file,1); write("Name: "+file+"\n"); printf("%O\n",history); return; }