***********************************************************************/
function set_mark(img) {
var box = document.getElementById('ajaxmark');
***********************************************************************/
function set_mark(img) {
var box = document.getElementById('ajaxmark');