document.write('0920\n');