document.write('<FONT COLOR=BLUE><B>Players in the game right now:</B><BR>');document.write('mickh');document.write(', ggarchitect');document.write(', gandara');document.write('</FONT><BR><BR>');