// alert('loada_1');
// console.log("session livesudoku_settings_allowmarks=1")
<!-- alert('1'); -->
<!-- allowmarks=1; -->
// console.log("from allomarks, after allowmarks="+allowmarks);

<!-- console.log("from allomarks, before highlights="+highlights); -->
highlights=1;
<!-- alert('is1'); -->