rem: ? param.split(";") : param.split(","); 
add: ? param.split(";") : param.split(","); 
context: function parseMarks() {    // returns marks array from current parameters    var marks = new Array();    var param = getParameter("mk");    var pairs = (param.indexOf(";") >= 0)        ? param.split(";")	// old format with ";"        : param.split(",");	// new format    for (var i = 0; i < pairs.length ; i++) {        var pos = pairs[i].split("/");        if (pos.length > 1) marks.push(new Position(pos[0], pos[1]));        }    return marks;    }
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/b558443abc997acd0db2f5f940a087d1a2056c8e/dllib.js/clean/client/digitallibrary/greyskin/dllib.js