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