document.write('0904\n');