document.write('0924\n');