document.write('0972\n');