def asclocaltime():