var host = window.location.href; 
if(host.indexOf("category")==-1&&host.indexOf("article")==-1){host = "http://" + window.location.host+"/m";}
host=host.replace("category","m/category");
host=host.replace("article","m/article");

var system = { 
win: false, 
mac: false, 
xll: false 
}; 
var p = navigator.platform; 
var pl = host.substr(4, 6);
if (pl!="hnjing")
  {
system.win = p.indexOf("Win") == 0; 
system.mac = p.indexOf("Mac") == 0; 
system.x11 = (p == "X11") || (p.indexOf("Linux") == 0); 
if (system.win || system.mac || system.xll) { 
} else { 
window.location.href =host; 
}
}else{}