document.write('0492\n');