Yes, that’s right. Hard polyethylene is also known as HDPE or polyethene.