({
	name: "date.timezone.Asia-Aden",
	runTest: function(t){
		var tz = "Asia/Aden";
		doh.checkDate({tzOffset: -180.8, tzAbbr: "LMT"}, -2147483648000, tz, 1);
		doh.checkDate({tzOffset: -180.8, tzAbbr: "LMT"}, -2147397248000, tz, 1);
		doh.checkDate({tzOffset: -180.8, tzAbbr: "LMT"}, -631162849000, tz, 1);
		doh.checkDate({tzOffset: -180, tzAbbr: "AST"}, -631162848000, tz, 1);
		doh.checkDate({tzOffset: -180, tzAbbr: "AST"}, 2147397247000, tz, 1);
		doh.checkDate({tzOffset: -180, tzAbbr: "AST"}, 2147483647000, tz, 1);
		doh.checkDate({tzOffset: -180, tzAbbr: "AST"}, 1231151400000, tz, 0);
		doh.checkDate({tzOffset: -180, tzAbbr: "AST"}, 1246789800000, tz, 0);
	}
})