document.write('0572\n');