Update server_4_2.js