document.write('0416\n');