//--allow-file-access-from-files

 var server = "http://127.0.0.1:8080";

 var view_left = "<view-left><h2>Machine</h2><p>Be yourself within Machine.</p></view-left>";

 function command()

 {

     var com = document.getElementById("com");

     $.ajax({url: server + "/com",

 	    data: com.value,

 	    dataType: "json",

 	    success: callback});

     com.value = ""; 

 }

 function callback(data, status, xhr)

 {

     view_left = "<view-left><h2>Machine</h2><p>" + data.time + "</p></view-left>";

     $("view-left").replaceWith(view_left);   

 }

 $(document).ready

 (

     function()

     {

 	$("view-left").replaceWith(view_left);

     }

 );

 $(document).keypress

 (

     function(event) 

     {

 	if (event.which == 13) 

 	{

 	    event.preventDefault();

 	    command();

 	}

     }

 );