function jq(myid){ return '#'+myid.replace(/:/g,"\\:").replace(/\./g,"\\.");}
function jid(myid){ return jq(myid);}