document.write('0146\n');