<!--
function setArrow(arrow_id) { 
   document.getElementById(arrow_id).innerHTML = '>';
}
//-->