var pda= new RegExp("^pda\.");
var www= new RegExp("http://(www\.)?");
if (typeof(screen.width)!='undefined' && screen.width<1280 && !pda.test(window.location.hostname))
	window.location.href=window.location.href.replace(www,"http://pda.");