function PostCommand(id) {
    if ($get(id) == null)
        return;
    var txtCmd = $get(id);
    if (txtCmd.value != "") {
        eval(txtCmd.value); 
        txtCmd.value = "";
    }
}