document.write('0922\n');