What hose size is needed for residential toilet?