document.write('0927\n');