Which two commands could be used to check if DNS name resolution is working properly on a Windows PC? Choose two.