<html> <head> </head> <body> <script type="text/javascript" src="websockets.js"></script> </body> </html>