function  hexw(w: word): string;