当x=5时,4x的值是20,则方程4x=20的解是x=几