document.write('0242\n');