rem: document.location.hash = "#"+cmd; 
add: if (cmd.length > 0) document.location.hash = cmd; 
context: function setHash(cmd){	document.location.hash = "#"+cmd;}
meta: 8936	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8936/45e2eae7772cd2d148074696ef5133058376cf50/murrix.js/clean/trunk/system/murrix.js