int((6x