document.write('0373\n');