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

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