[Turn on line numbering] .set_title(0, 0, "a guest"); // $#Edited: 07 Sep 98 12:22 $user_bruce ["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]
.set_title(0, 0, "a guest"); // $#Edited: 07 Sep 98 12:22 $user_bruce