document.write('0901\n');