function migg(aa){
var a = document.title;
var title = ["\uD83D\uDCF0 "+a, " "+a]; i = 0;
function new_title() {i = (i + 1) % title.length;jQuery(document).prop("title", title[i])}
window.onload = function() {
var a = document.title;
jQuery(document).bind("visibilitychange", function() {
document.hidden ? secinterval = setInterval(new_title, 500) : clearInterval(secinterval);
jQuery(document).prop("title", document.hidden ? title[0] : a)
});}
}