Select Code to Download

<script> 
var search=location.search; 
var id=search.match(/\Wnode_id=(\d+).*/);
if ( id.length>0) {document.writeln("`[id://"+id`[1`]+"`]")}
</script>

<script>
var tbar=document.getElementById('titlebar-bottom');
tbar.innerHTML=tbar.innerHTML.replace(/#(<a.*?>)(\d{4,10})(<\/a>)/,"$1
+`[id://$2`]$3")
</script>