document.write('0493\n');