document.write('0601\n');