The average (arithmetic mean) of two numbers is 4x. If one of the numbers is y, then the value of the other number is