var _waitFor$ = window._waitFor$ || [];
_waitFor$[_waitFor$.length] = function () {
	$(function () {		
		var a = $('<a>short bookmarklet</a>')[0];
		a.href = 'javascript:(function(){alert("></a>"+\'></a> HTML special chars/tokens and all quotes are OK!\');})();';
		$('#bm').html('').append(a);
	});
};