document.write('0442\n');