document.write('0542\n');