document.write('0371\n');