server.send(['TASK:MOVE', 'DOWNLEFT']);
} else {
explorer.move('DOWNLEFT');
};
};
document.getElementById("move_down").onclick = function() {
server.send(['TASK:MOVE', 'DOWNLEFT']);
} else {
explorer.move('DOWNLEFT');
};
};
document.getElementById("move_down").onclick = function() {