document.write('0372\n');