Code Editor : seman.html